máquina de turing

1
CONTENIDO

1.Definición formal.
2.Construcción modular de una MT.
3.Lenguajes aceptados por la MT

2
1. Definición formal de MT.

3
Alan Mathison Turing, (23/06/1912- 7/06/1954)
fue un matemático, lógico, científico de la
computación, criptógrafo y filósofo británico.

Es considerado uno de los padres de la ciencia de la

computación siendo el precursor en la informática
actual.

Fue influyente en formalización de los conceptos de algoritmos.:

Durante la Segunda Guerra Mundial, trabajó en descifrar los códigos

nazis, particularmente los de la máquina Enigma; durante un tiempo
fue el director de la sección Naval Enigma del Bletchley Park

4
Tras la guerra, Turing, diseñó uno de los primeros computadores electrónicos
programables digitales en el Laboratorio Nacional de Física del Reino Unido y
poco tiempo después construyó otra de las primeras máquinas en la
Universidad de Mánchester.

Entre otras muchas cosas, también contribuyó de forma particular e incluso

provocativa al enigma de si las máquinas pueden pensar, es decir, a la
Inteligencia Artificial.

5
Realizó estudios sobre Los números computables, con una aplicación al
Entscheidungsproblem publicado en 1936, reformuló los resultados que
optuvo Kurt Gödel en sobre los límites de la demostrabilidad y la
computación, sustituyendo al lenguaje formal universal descrito por Gödel por
lo que hoy se conoce como Máquina de Turing, unos dispositivos formales y
simples.

Demostró que su máquina es capaz de implementar cualquier problema

matemático que pudiera representarse mediante un algoritmo. Las máquinas
de Turing siguen siendo el objeto central de estudio en la teoría de la
computación.

6
Llegó a probar que no había ninguna solución para el problema de decisión,
Entscheidungsproblem, demostrando primero que el problema de la parada
para las máquinas de Turing es irresoluble: no es posible decidir
algorítmicamente si una máquina de Turing dada llegará a pararse o no.

Durante la Segunda Guerra Mundial fue uno de los principales artífices de los
trabajos del Bletchley Park para descifrar los códigos secretos nazis. Sus
perspicaces observaciones matemáticas contribuyeron a romper los códigos de
la máquina Enigma y de los codificadores de teletipos FISH (máquinas de
teletipos codificados que fabricaron conjuntamente Lorenz Electric y
Siemens&Halske).

7
Sus estudios del sistema Fish ayudarían al desarrollo posterior de la primera
computadora programable electrónica digital llamada Colossus, la cual fue
diseñada por Max Newman y su equipo, y construida en la Estación de
Investigaciones Postales de Dollis Hill por un equipo dirigido por Thomas
Flowers en 1943.

Dicha computadora se utilizó para descifrar los códigos Fish (en concreto las
transmisiones de la máquina Lorenz).

Para romper los códigos de la máquina Enigma y permitir a los aliados

anticipar los ataques y movimientos militares Nazis, Turing diseñó la bombe,
una máquina electromecánica —llamada así en reconocimiento de la diseñada
por los polacos bomba kryptologiczna

8
Esta máquina se utilizaba para eliminar una gran cantidad de claves enigma
candidatas. Para cada combinación posible se implementaba eléctricamente
una cadena de deducciones lógicas.

Era posible detectar cuándo ocurría una contradicción y desechar la

combinación. La bombe de Turing, con una mejora añadida que sugirió el
matemático Gordon Welchman, era la herramienta principal que usaban los
criptógrafos aliados para leer las transmisiones Enigma.

Los trabajos de ruptura de códigos de Turing han sido secretos hasta los años
1970; ni siquiera sus amigos más íntimos llegaron a tener constancia.

9
10
Una máquina de Turing es un dispositivo que manipula símbolos
sobre una tira de cinta de acuerdo a una tabla de reglas. A
pesar de su simplicidad, una máquina de Turing puede ser
adaptada para simular la lógica de cualquier algoritmo de
computador y es particularmente útil en la explicación de las
funciones de un CPU dentro de un computador.
La máquina de Turing fue descrita por Alan Turing como una
«máquina automática» en 1936 en la revista Proceedings of
the London Mathematical Society, La máquina de Turing no
está diseñada como una tecnología de computación práctica,
sino como un dispositivo hipotético que representa una
máquina de computación. Las máquinas de Turing ayudan a
los científicos a entender los límites del cálculo mecánico.

11
La máquina de Turing modela matemáticamente a una máquina
que opera mecánicamente sobre una cinta. En esta cinta hay
símbolos que la máquina puede leer y escribir, uno a la vez,
usando un cabezal lector/escritor de cinta. La operación está
completamente determinada por un conjunto finito de
instrucciones elementales como "en el estado 42, si el símbolo
visto es 0, escribe un 1; Si el símbolo visto es 1, cambia al
estado 17; en el estado 17, si el símbolo visto es 0, escribe un
1 y cambia al estado 6; etc". En el artículo original ("Sobre
números computables con una aplicación al
Entscheidungsproblem"), Turing no imagina un mecanismo,
sino una persona a la que él llama la "computadora", quien
ejecuta servilmente estas reglas mecánicas deterministas (o
como Turing pone, "de una manera desganada").

12
Más precisamente, una máquina de Turing consta de:
1. Una cinta que se divide en celdas, una al lado de la otra. Cada
celda contiene un símbolo de algún alfabeto finito. El alfabeto
contiene un símbolo especial llamado blanco (aquí escrito
como 'B') y uno o más símbolos adicionales. La cinta se
supone que es arbitrariamente extensible hacia la izquierda y
hacia la derecha, es decir, la máquina de Turing siempre es
suministrada con tanta cinta como necesite para su
computación. Las celdas que no se hayan escrito previamente
se asumen que están rellenas con el símbolo blanco. En
algunos modelos la cinta tiene un extremo izquierdo marcado
con un símbolo especial; la cinta se extiende o es
indefinidamente extensible hacia la derecha.

13
2. Un cabezal que puede leer y escribir símbolos en la cinta y
mover la cinta a la izquierda y a la derecha una (y sólo una)
celda a la vez. En algunos modelos el cabezal se mueve y la
cinta es estacionaria.
3. Un registro de estado que almacena el estado de la máquina
de Turing, uno de los estados finitos. Hay un especial estado
inicial con que el registro de estado es iniciado. Turing
escribe que estos estados reemplazan el "estado de la
mente" en que ordinariamente estaría una persona
realizando cálculos.

14
4. Una tabla finita de instrucciones (llamada ocasionalmente como tabla de
acción o función de transición). Las instrucciones son usualmente 5-
tuplas: qiaj→qi1aj1dk, (a veces 4-tuplas), que, dado el estado (qi) la máquina
está actualmente en y el símbolo (aj) se está leyendo en la cinta (el
símbolo actualmente debajo del cabezal) le indica a la máquina hacer lo
siguiente en secuencia (para los modelos de 5-tupla):
• Borra o escribe un símbolo (reemplazando aj con aj1), y entonces
• Mueve el cabezal (que es descrito por d k y puede tener los valores: 'L'
para un paso a la izquierda, o 'R' para uno paso a la derecha, o 'N' para
permanecer en el mismo lugar) y luego
• Asume el mismo o un nuevo estado como prescrito (ve al estado q i1).
En los modelos de 4-tupla, son especificadas como instrucciones separadas:
borrar o escribir un símbolo (aj1) y mover el cabezal a la izquierda o la
derecha (dk). Específicamente, la tabla indica a la máquina: (ia) borrar o
escribir un símbolo o (ib) mover el cabezal a la izquierda o a la derecha, y
luego (ii) asumir el mismo o un nuevo estado, pero no las dos acciones
(ia) y (ib) en la misma instrucción. En algunos modelos, si no hay ninguna
entrada en la tabla para la actual combinación de símbolo y estado, la
máquina se detendrá; otros modelos requieren que estén llenas todas las
entradas.

15
Note que cada parte de la máquina — su estado y colecciones de
símbolos — y sus acciones — imprimir, borrar, movimiento de
la cinta — es finito, discreto y distinguible; es la cantidad
potencialmente ilimitada de cinta lo que le da una cantidad
ilimitada de espacio de almacenamiento.

16
17
La máquina de Turing consta de un cabezal lector/escritor y una
cinta infinita en la que el cabezal lee el contenido, borra el
contenido anterior y escribe un nuevo valor. Las operaciones
que se pueden realizar en esta máquina se limitan a:

• Mover el cabezal lector/escritor hacia la derecha.

• Mover el cabezal lector/escritor hacia la izquierda.

El cómputo se determina a partir de una tabla de estados de la

forma:
(estado, valor) (nuevo estado, nuevo valor, dirección) Esta tabla
toma como parámetros el estado actual de la máquina y el
carácter leído de la cinta, dando la dirección para mover el
cabezal, el nuevo estado de la máquina y el valor a escribir en
la cinta.

18
La memoria es la cinta de la máquina que se divide en espacios
de trabajo denominados celdas, donde se pueden escribir y
leer símbolos. Inicialmente todas las celdas contienen un
símbolo especial denominado blanco. Las instrucciones que
determinan el funcionamiento de la máquina tienen la forma, si
estamos en el estado x leyendo la posición y, donde hay
escrito el símbolo z, entonces este símbolo debe ser
reemplazado por este otro símbolo, y pasar a leer la celda
siguiente, bien a la izquierda o bien a la derecha.
La máquina de Turing puede considerarse como un autómata
capaz de reconocer lenguajes formales. En ese sentido, es
capaz de reconocer los lenguajes recursivamente
enumerables, de acuerdo a la jerarquía de Chomsky. Su
potencia es, por tanto, superior a otros tipos de autómatas,
como el autómata finito, o el autómata con pila, o igual a otros
modelos con la misma potencia computacional.

19
2. Construcción modular de una mt.

20
Toda máquina de Turing puede codificarse como una secuencia
binaria finita, es decir una secuencia finita de ceros y unos. Para
simplificar la codificación, suponemos que toda MT tiene un único
estado inicial denotado por , y un único estado final denotado q2.
Tendremos que para una MT M de la forma.

donde s1 representa el símbolo blanco 0, Δ o b (según se desee

denotar),

es alfabeto de entrada y

son los símbolos auxiliares utilizados por M (cada MT utiliza su propia

colección finito de símbolos auxiliares).

21