José Luis Sánchez Sánchez

Unida 1. Actividad de complementaria 2

Análisis, diseño e implantación de algoritmos

TABLA 1. Comparación de las características de los autómatas y la máquina de Turing

CARACTERÍSTICAS AUTÓMATAS (finitos deterministas) CARACTERÍSTICAS MÁQUINA DE TURING
 Conjunto de estados bien definidos.  Es una extensión de los autómatas finitos.
 Alfabeto de entrada.  Consta de una cabeza de escritura y lectura, una cinta
 Estado inicial segmentada, y un programa de instrucciones.
 Conjunto de estados finales  La cinta es de longitud infinita
 Función de transición  Alfabeto de entrada y alfabeto de la cinta
 Es determinista: Para un estado y un símbolo del alfabeto  No tiene estados finales.
dados habrá un y solo un estado siguiente.  El cálculo finaliza cuando se alcanza un estado especial
 La única memoria que poseen es el estado en que se llamado halt.
encuentran  Se resume en los siguientes pasos: Leer la cinta, efectuar
 Pueden o no tener salida transición de estado, realizar una acción en la cinta. Solo se
realiza una acción a la vez.
 Las acciones solo son: escribir en la cinta, mover la cabeza.
 Para saber a que estado transicionar necesita saber el estado
actual, la posición de la cabeza y el contenido de la cinta.
 Los estados cambian de acuerdo a la entrada y al programa
 Si un programa puede resolverse con la máquina de Turing
decimos que es computable, sino es no computable.

OBSERVACIONES
Al partir de un autómata finito, la máquina de Turing tiene muchas similitudes con éstos tales como un conjunto de estado
bien definidos y un alfabeto de entrada.
La capacidad de la cabeza de leer y escribir la cinta en la máquina de Turing la dota de mayor potencia de cálculo en las
operaciones que puede realizar.
Una máquina de estados finitos depende solo de su estado actual y de la entrada para saber el estado siguiente, la
máquina de Turing depende del estado actual, del contenido de la cinta y de la posición actual, es decir hay más
elementos que afectan su estado siguiente.

Se puede apreciar que la máquina de Turing es una evolución de las máquinas de estado finito, lo cual es interesante
porque la máquina de Turing sentó las bases de las computadoras modernas

REFERENCIAS
Brena, Ramón. (2013) . Autómatas y lenguajes: Un enfoque de diseño. 1 Edición. Monterrey, México: McGraw-Hill
Manzano Peñaloza, Gilberto; Montesano Brand, René; Zuñiga López, L. Fernando. (2017). Análisis, diseño e implantación
de algoritmos: Apunte electrónico. México.