c
c
c


         
    
  


      

      


     
 
  

       
     
  
  
        

Y

YY 


Este dispositivo lleva el nombre de ³Máquina de Turing´ gracias a su inventor Alan Turing
(1912-1954). Aunque son más generales que los autómatas previamente estudiados, su
apariencia básica es similar. Una máquina de Turing consta de un control finito, una cinta de
entrada y un cabezal que puede leer y escribir sobre la cinta.
Y

Y
Y
Y
Y
Y
Y
Y

YY
Y
Y
Las máquinas de Turing no son simplemente una clase más de autómatas que puede ser
reemplazada por otra más poderosa. Aunque su apariencia primitiva revela simplicidad,
intentos de
extenderlas en poder computacional no han tenido efecto alguno. Por ejemplo, la característica
de
poseer cintas adicionales con o sin cabezales independientes, no aumenta el poder
computacional
que tiene una máquina de Turing básica.
Las máquinas de Turing forman una clase máxima y estable de los autómatas en términos de
los
cómputos que pueden realizar. Están diseñadas para satisfacer tres criterios:
(a) Deberían ser autómatas; es decir, su construcción y función
debería tener la misma esencia general.
(b) Deberían poder ser descritas, definidas formalmente y
analizadas de la manera más sencilla posible.
(c) Deberían ser tan generales como sea posible en términos de
los cómputos que pueden realizar.
24
Œ
Y

  
Y
 Y
‰omo dijo anteriormente, una máquina de Turing básica consta de un control finito, una cinta
de
entrada y un cabezal que puede leer y escribir sobre la cinta. La unidad de control ejecuta dos
funciones en cada paso que realiza:
1. Se posiciona en un nuevo estado
2. Realiza una de las siguientes acciones:
(a) Escribir un símbolo en la porción de cinta que se está
leyendo, reemplazando el que ya existía.
(b) Mover el cabezal de lectura/escritura una porción de
cinta a la izquierda o a la derecha.
La cinta de entrada está limitada en el extremo izquierdo pero se extiende indefinidamente
hacia la derecha. Puesto que la maquina mueve su cabezal una porción de cinta a la vez,
solamente se habrán visitado un número finito de porciones de cinta luego de haber realizado
un cómputo finito.
Si la máquina intenta mover el cabezal fuera del extremo izquierdo, ésta queda paralizada.
La máquina de Turing es provista de una cadena de entrada mediante la cinta. ‰ada símbolo
se
encuentra en una porción de cinta y generalmente empieza en el extremo izquierdo quedando
el
resto de la cinta de entrada con símbolos nulos. La máquina puede alterar la entrada que
recibe de
la manera que vea conveniente, como también escribir símbolos sobre la región derecha de la
cinta
que contiene nulos.
Puesto que una máquina de Turing puede escribir sobre la cinta, puede dejar una respuesta al
final
del cómputo realizado. Por lo tanto no necesitamos proveer estados ³finales´ como ocurre con
los
autómatas. Sin embargo existe un estado especial de u
 que es usado para indicar el final
del
cómputo.
A continuación se mencionan algunas convenciones utilizadas por algunos autores acerca de
estas
máquinas:
* El estado de parada se denota por h.
* El símbolo nulo es representado por #.
* El símbolo L denota el movimiento del cabezal a la izquierda.
* El símbolo R denota el movimiento del cabezal a la derecha.
Se asume que todos estos símbolos no son miembros de alfabeto alguno que se pueda
considerar