Máquina de Turing

Mitra Mejia 13-1060Daniel Moreno

13-1076

Determinista y No DeterministaReconocimiento y traducción

Máquina de TuringAlan 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?

Máquina de Turing DeterministaEn 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 DeterministaEn 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

Ejercicios por chocolateshttp://www.google.com/doodles/alan-turings-100th-birthday

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