Este documento describe la máquina de Turing, un modelo de autómata teórico que consiste en un cabezal lector/escritor y una cinta infinita. La máquina se mueve a lo largo de la cinta leyendo y reemplazando símbolos según una tabla de transiciones que especifica el nuevo estado y posición del cabezal basado en el estado y símbolo actuales. La máquina de Turing puede reconocer cualquier lenguaje formal recursivamente enumerable y tiene mayor poder computacional que autómatas más simples como los autómat

1. Jeefferson Vásquez
16.402.362
Esp. Computación
Autómatas lenguajes formales
SAIA A

2. Es un dispositivo de reconocimientos de
lenguaje, es más general que cualquier
autómata finito y cualquier autómata de
pila, debido a que ellas pueden reconocer
tanto los lenguajes regulares, como los
lenguajes independientes de contexto y
además muchos otros tipos de lenguajes.
La máquina de Turing (abreviado MT)
tiene, un control finito, una cabeza
lectora y una cinta donde puede haber
caracteres, y donde eventualmente viene
la palabra de entrada.

3. Una máquina de Turing es un autómata que se mueve sobre una secuencia lineal
de datos. En cada instante la máquina puede leer un solo dato de la secuencia
(generalmente un carácter)y realiza ciertas acciones en base a una tabla que
tiene en cuenta su "estado" actual (interno) y el últimodato leído. Entre las
acciones está la posibilidad de escribir nuevos datos en la secuencia; recorrer la
secuencia en ambos sentidos y cambiar de "estado" dentro de un conjunto finito
de estados posibles.
En realidad la máquina de Turing es más una abstracción matemática que un
dispositivo físico o mecánico. El hecho que se le denomine "máquina" se debe a
que su funcionamiento puede ser descrito en términos de operaciones
individuales muy sencillas que sugieren una implementación real muy simple, lo
que ha motivado que existan muchas versiones prácticas del mismo.

4. Características generales
Este modelo está formado por un alfabeto de entrada y uno de salida, un símbolo
especial llamado blanco (normalmente b, Δ o 0), un conjunto de estados finitos y
un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en
una función de transición, que recibe un estado inicial y una cadena de caracteres
(la cinta, la cual puede ser infinita) pertenecientes al alfabeto de entrada.
La máquina va leyendo una celda de la cinta en cada paso, borrando el símbolo en
el que se encuentra posicionado su cabezal y escribiendo un nuevo
símbolo perteneciente al alfabeto de salida, para luego desplazar el cabezal a la
izquierda o a la derecha (solo una celda a la vez). Esto se repite según se indique
en la función de transición, para finalmente detenerse en un estado final o de
aceptación, representando así la salida.

5. Funcionamiento
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:
Avanzar el cabezal lector/escritor hacia la derecha.
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.
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.

6. URL WEBQUEST
http://www.aula21.net/Wqfacil/webquest.php