MATEMÁTICA

COMPUTACIONAL
 Máquina de turing

Integrantes:
• Marcela Cabrera
• Johan Pillajo
• Marlon Vinueza
• Stiven Guapucal
• Bryan Baño
• Francisco Hernandez
 íNDICE

01 Biografía Alan Turing

Breve biografía.
02 Definición y Propiedades
Máquina de Turing.

Tesis de Turing Funcionamiento

03 ¿Qué es?.
04
Máquina de Turing.

Lenguajes Varias Cintas

05 06
Máquina de Turing. Máquina de Turing.
Introducción

La máquina de Turing, presentada por Alan Turing en 1936 es el modelo matemático de un

dispositivo que se comporta como un autómata finito y que dispone de una cinta de longitud
infinita en la que se pueden leer, escribir o borrar símbolos. Existen otras versiones con varias
cintas, deterministas o no, etc., pero todas son equivalentes (respecto a los lenguajes que
aceptan).
 Biografía alan turing

“esto es sólo un anticipo de lo que está por venir y sólo la sombra de lo que va a hacer”

Alan Turing fue un matemático, lógico, informático teórico,

criptógrafo, filósofo y biólogo teórico británico.

01 Alan, segunda guerra mundial pensó que para combatir

alguna máquina se debe diseñar otra máquina y así inventó
una máquina denominada “bomba” que tenía la capacidad
de varias máquinas enigma ayudando así a reducir entre 2 y
4 años el final de esta guerra.
Después de la guerra, Turing trabajó en varios proyectos de
computación el Manchester Mark 1.
También hizo importantes contribuciones teóricas
computación, la creación del concepto de "máquina de
Turing", se considera el modelo básico para cualquier
computadora moderna. Padre de inteligencia artificial. Turing
fue perseguido por su homosexualidad 1952. Dos años
después fue encontrado muerto junto a una manzana mordida
recubierta de cianuro.
 Definición y propiedades
2

En cada paso, la máquina lee el contenido de la celda

Una Máquina de Turing está formada por una unidad
sobre la que se encuentra
de control, que puede
el cabezal, realiza un cambio de estado de la unidad de
describirse mediante un autómata finito, una cinta de
control, y escribe un
lectura y escritura, que
dato sobre la celda o mueve el cabezal a izquierda o
tiene un comienzo a la izquierda y se extiende
derecha. La máquina
indefinidamente hacia la
termina al alcanzar un estado especial llamado estado de
derecha, y un cabezal, que indica la posición de la
parada (halt).
cinta sobre la que trabaja la
máquina en cada paso.
 propiedadeS
1 2
La entrada que tiene la cinta antes de La máquina de Turing es capaz de hacer seis tipos de
que comience el cálculo debe consistir operaciones fundamentales: leer, escribir, mover hacia la
en un número finito de símbolos. izquierda, mover hacia la derecha, cambiar de estado y
detenerse.

3 4
El cabezal de lectura y escritura puede Tiene la capacidad de computar cualquier cosa que
ser programable. cualquier computadora moderna pueda calcular.
 3 Tesis de turing
“TODO ALGORITMO ES EQUIVALENTE A UNA MAQUINA
Esta tesis inicia con un problema propuesto por Hilbert y
DE TURING O UN SISTEMA EQUIVALENTE”.
Ackermann en 1928. Es un problema de decisión

Esta tesis hace referencia a que existe un método efectivo o

mecánico

Encontrar un procedimiento matemático riguroso y determinista (algoritmo) que para cualquier sentencia matemática
fuera capaz de decidir si dicha sentencia es cierta o no. Esta sentencia podría ser una ecuación, comparación de funciones,
teorema, cualquier cosa expresada lógicamente que se pueda responder si o no.
 4 Funcionamiento

Una máquina de Turing consta de una cinta infinita dividida en espacios o celdas de

Una máquina de Turing está diseñada para el trabajo yuxtapuestas que su función es el de una memoria, un cabezal capaz de leer y

almacenamiento de una muestra concreta de símbolos o escribir símbolos en la cinta y desplazarse de celda en celda a derecha e izquierda, un

también pueden ser números, a esto se le suele llamar registro de estado, y una tabla finita de instrucciones o también llamada tabla de acción.

"alfabeto". En el caso de códigos binarios su alfabeto total Símbolos

es de dos (0 y 1), pero también puede ser muy amplio esto R: Right (Derecha).

dependerá de la función que elaboremos. L: Left (Izquierda).

- : Vacío
q : Estado.
-> : Cabezal.
 5 Lenguajes
Un lenguaje que puede ser aceptado por una Máquina de Turing es
el lenguaje de las cadenas de paréntesis bien balanceadas. Este “TODO ALGORITMO ES EQUIVALENTE A UNA MAQUINA
lenguaje formal está formado por todas las cadenas de símbolos DE TURING O UN SISTEMA EQUIVALENTE”.
que consisten en paréntesis izquierdos.

Supongamos que tenemos una cinta infinita dividida en casillas, y una cabeza de lectura/escritura que se puede mover a lo
largo de la cinta. La Máquina de Turing podría empezar en una casilla específica que contiene una cadena de paréntesis.
La cabeza de lectura/escritura se movería a través de la cadena de izquierda a derecha, y mantendría un registro de
cuántos paréntesis izquierdos y derechos ha encontrado hasta el momento.
 6 Varias cintas
Teorema: Cada máquina de Turing de varias cintas tiene
Son una variante de las Maquinas de Turing que utilizan
una máquina de Turing de una sola cinta equivalente
dos o mas cintas. Cada cinta tiene su propio cabezal para
lectura y escritura independiente de los demás.
La principal diferencia radica en los tiempos de cómputo, siendo que la maquina de una cinta
equivalente usa cuadráticamente más tiempo de calculo que la multi-cinta
Gracias