MQUINAS DE

TURING

Luis Alberto Morel 16-0585

Jos Armado Almanzar 16-0495

Teoras autmatas y Lenguajes formales, Universidad Iberoamericana.

Alan Turing
Alan Mathison Turing, (1912-1954),
fue un matemtico, lgico, cientfico
de la computacin, criptgrafo, filsofo.
Es considerado uno de los padres de la
ciencia de la computacin y precursor de
la informtica moderna.

El aporte ms importante de Turing fue

establecer un nexo entre la algortmica
(procedimientos de clculo) y los autmatas
(dispositivos automticos).
http://blogs.elpais.com/turing/2012/07/turing-el-nacimiento-del-hombre-1912-la-maquina-1936-y-el-
2
test-1950.html
Cont.
En 1936, en un artculo titulado Los nmeros computables, con una
aplicacin al Entscheidungsproblem. Turing demostr que dicha
mquina era capaz de resolver cualquier problema matemtico que
pudiera representarse mediante un algoritmo.
Entre otros aportes de Alan Turing a la computacin:

El Test de Turing (1950) Inteligencia Artificial

Enigma

Tesis Church-Turing

The Bombe (Segunda Guerra Mundial)

http://blogs.elpais.com/turing/2012/07/turing-el-nacimiento-del-hombre-1912-la-maquina-1936-y-el-test- 3
 Qu es una mquina de Turing?
La llamada Mquina de Turing es en realidad un modelo matemtico consistente en un
autmata que es capaz de implementar cualquier problema matemtico expresado a travs de un
algoritmo.
Una Mquina de Turing consta:

Cinta infinita dividida en espacios o celdas.

Un cabezal capaz de leer y escribir smbolos en

la cinta.

Un registro de estado.

Una tabla finita de instrucciones o tabla de

accin.
La mquina de Turing es considerada un autmata con la capacidad de reconocer lenguajes
formales de acuerdo a la jerarqua de Chomsky, razn por la cual es muy superior a otros
autmatas como el autmata con pila o el autmata finito.
Ejemplo #1
Ejemplo #2
Ejemplo #3
 Mquina de Turing multicinta
Una MT con ms de una cinta consiste de un
control finito con k cabezales lectores/escritores y
k cintas. Cada cinta es infinita en ambos sentidos.

La MT define su movimiento dependiendo del

smbolo que est leyendo cada uno de sus
cabezales, da reglas de sustitucin para cada uno de
los smbolos y direccin de movimiento para cada
uno de los cabezales. Inicialmente la MT empieza
con la entrada en la primera cinta y el resto de las
cintas en blanco.
 Mquina de Turing determinista

La entrada de una mquina de Turing viene determinada por el estado actual y el smbolo
ledo, un par (estado, smbolo), siendo el cambio de estado, la escritura de un nuevo
smbolo y el movimiento del cabezal, las acciones a tomar en funcin de una entrada. En
el caso de que para cada par (estado, smbolo) posible exista a lo sumo una posibilidad de
ejecucin, se dir que es una mquina de Turing determinista, mientras que en el caso de
que exista al menos un par (estado, smbolo) con ms de una posible combinacin de
actuaciones se dir que se trata de una mquina de Turing no determinista.
 Maquina de Turing No determinista

En un no-determinista de la mquina de Turing, para cada estado y el smbolo, hay un

conjunto de acciones que el TM pueda tener. As pues, aqu las transiciones no son
deterministas. El clculo de una mquina de Turing no determinista es un rbol de
configuraciones que se puede llegar desde la configuracin de inicio.

Una entrada es aceptada si hay al menos un nodo del rbol que acepta la
configuracin, de lo contrario, no se acepta.
Lenguaje Formal
Recursos referidos para profundizar el
tema

http://aturingmachine.com

https://www.youtube.com/watch?v=NS-NQ5mCSs8

http://
fcasua.contad.unam.mx/apuntes/interiores/docs/2005/informatica/1/1164.pdf