Máquinas de TuringMitra Mejia 13-1060Daniel Moreno 13-1076

Máquina de Turing

Alan Turing introdujo el concepto de máquina de Turing, publicado por la Sociedad Matemática de Londres en 1936. Turing ideó un modelo formal de computador, la máquina de Turing.

¿Qué es una máquina de Turing?

Una máquina de Turing es un modelo computacional que realiza una lectura / escritura de manera automática sobre una entrada llamada cinta, generando una salida en la esta misma.

Representación

¿Cómo funcionan?

http://youtube.com/v/dNRDvLACg5Q

Máquina de Turing Determinista

En el caso de que para cada par (estado, símbolo) posible exista a lo sumo una posibilidad de ejecución, se dirá que es una máquina de Turing determinista.

Máquina de Turing No Determinista

En el caso de que exista al menos un par (estado, símbolo) con más de una posible combinación de actuaciones se dirá que se trata de una máquina de Turing no determinista.

Máquina de Turing Multicinta

Es una Máquina de Turing... con 2 o más cintas y cabezales

Ejemplo

0ab 1aa, IID

A P

Referenciashttp://www.google.com/doodles/alan-turings-100th-birthday

https://es.wikipedia.org/wiki/Alan_Turing

http://maquinaturing.blogspot.com/p/funcionamiento-de-la-maquina-turing.html

https://www.youtube.com/watch?v=Ls-pBGz57uc

http://www.sinewton.org/numeros/numeros/43-44/Articulo33.pdf

https://www.youtube.com/watch?v=dNRDvLACg5Q