MAQUINA DE TURING

Una mquina de Turing es un dispositivo que manipula smbolos sobre una tira
de cinta de acuerdo a una tabla de reglas. A pesar de su simplicidad, una mquina
de Turing puede ser adaptada para simular la lgica de
cualquier algoritmo de computador y es particularmente til en la explicacin de
las funciones de una CPU dentro de un computador.

La mquina de Turing modela matemticamente a una mquina que opera

mecnicamente sobre una cinta. En esta cinta hay smbolos que la mquina puede
leer y escribir, uno a la vez, usando un cabezal lector/escritor de cinta.

Una mquina de Turing4 es un modelo computacional que realiza

una lectura/escritura de manera automtica sobre una entrada llamada cinta,
generando una salida en esta misma.

PARTES

Este modelo est formado por un alfabeto de entrada y uno de salida, un smbolo
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 funcin de transicin, que recibe un estado inicial y una cadena de
caracteres (la cinta, la cual puede ser infinita) pertenecientes al alfabeto de entrada.
La mquina va leyendo una celda de la cinta en cada paso, borrando el smbolo en
el que se encuentra posicionado su cabezal y escribiendo un nuevo smbolo
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 segn se indique en la funcin de
transicin, para finalmente detenerse en un estado final ode aceptacin,
representando as la salida.

Una mquina de Turing con una sola cinta puede definirse como una 7-tupla

es un conjunto finito de estados.

es un conjunto finito de smbolos distinto del espacio en blanco, denominado
alfabeto de mquina o de entrada.
es un conjunto finito de smbolos de cinta, denominado alfabeto de cinta
es el estado inicial.
es un smbolo denominado blanco, y es el nico smbolo que se puede
repetir un nmero infinito de veces.
es el conjunto de estados finales de aceptacin.
 es una funcin parcial denominada funcin de
transicin, donde es un movimiento a la izquierda y es el movimiento a la
derecha

Existen en la literatura un abundante nmero de definiciones alternativas, pero

todas ellas tienen el mismo poder computacional, por ejemplo se puede aadir el
smbolo como smbolo de "no movimiento" en un paso de cmputo.

COMO FUNCIONA

La mquina 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 mquina se limitan a:

Mover el cabezal lector/escritor hacia la derecha.

Mover el cabezal lector/escritor hacia la izquierda

El cmputo se determina a partir de una tabla de estados de la forma:

(estado, valor) (nuevo estado, nuevo valor, direccin)

Esta tabla toma como parmetros el estado actual de la mquina y el carcter ledo
de la cinta, dando la direccin para mover el cabezal, el nuevo estado de la mquina
y el valor a escribir en la cinta.
La memoria es la cinta de la mquina que se divide en espacios de trabajo
denominados celdas, donde se pueden escribir y leer smbolos. Inicialmente todas
las celdas contienen un smbolo especial denominado "blanco". Las instrucciones
que determinan el funcionamiento de la mquina tienen la forma, "si estamos en el
estado x leyendo la posicin y, donde hay escrito el smbolo z, entonces este
smbolo debe ser reemplazado por este otro smbolo, y pasar a leer la celda
siguiente, bien a la izquierda o bien a la derecha".
La mquina de Turing puede considerarse como un autmata capaz de
reconocer lenguajes formales. En ese sentido, es capaz de reconocer los lenguajes
recursivamente enumerables, de acuerdo a la jerarqua de Chomsky. Su potencia
es, por tanto, superior a otros tipos de autmatas, como el autmata finito, o
el autmata con pila, o igual a otros modelos con la misma potencia computacional.
UNIVERSIDAD MARIANO GALVEZ DE GUATEMALA
 CUILAPA, SANTA ROSA

AUTOMATAS

ING. JULIO ESCOBAR

TAREA

MAQUINA DE TURING

LESTER ALFREDO AGUILAR HERNANDEZ

CARNE: 1590-13-16739

UNIVERSIDAD MARIANO GALVEZ DE GUATEMALA

CUILAPA, SANTA ROSA

AUTOMATAS

ING. JULIO ESCOBAR

TAREA

EJERCICIOS

AUTOMATAS DE PILA # 3

LESTER ALFREDO AGUILAR HERNANDEZ

CARNE: 1590-13-16739