MARCO TEORICO

MAQUINA DE TURING

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. La
operacin est completamente determinada por un conjunto finito de instrucciones
elementales.

Ms precisamente, una mquina de Turing consta de:

1. Una cinta que se divide en celdas, una al lado de la otra. Cada celda
contiene un smbolo de algn alfabeto finito. El alfabeto contiene un smbolo
especial llamado blanco (aqu escrito como 'B') y uno o ms smbolos
adicionales. La cinta se supone que es arbitrariamente extensible hacia la
izquierda y hacia la derecha, es decir, la mquina de Turing siempre es
suministrada con tanta cinta como necesite para su computacin. Las
celdas que no se hayan escrito previamente se asumen que estn rellenas
con el smbolo blanco. En algunos modelos la cinta tiene un extremo
izquierdo marcado con un smbolo especial; la cinta se extiende o es
indefinidamente extensible hacia la derecha.
2. Un cabezal que puede leer y escribir smbolos en la cinta y mover la cinta a
la izquierda y a la derecha una (y slo una) celda a la vez. En algunos
modelos el cabezal se mueve y la cinta es estacionaria.
3. Un registro de estado que almacena el estado de la mquina de Turing, uno
de los estados finitos. Hay un estado inicial especial con el que el registro
de estado se inicia. Turing escribe que estos estados reemplazan el "estado
de la mente" en que ordinariamente estara una persona realizando
clculos.
LENGUAJES DE PROGRAMACIN A.I.E.

4. Una tabla finita de instrucciones (llamada ocasionalmente como tabla de

accin o funcin de transicin). Las instrucciones son usualmente 5-tuplas:
qiajqi1aj1dk, (a veces 4-tuplas), que, dado el estado (qi) en que la
mquina se encuentra actualmente y el smbolo (aj) que se est leyendo en
la cinta (el smbolo actualmente debajo del cabezal) le indica a la mquina
hacer lo siguiente en secuencia (para los modelos de 5-tupla):
Borra o escribe un smbolo (reemplazando aj con aj1), y entonces
Mueve el cabezal (que es descrito por dk y puede tener los valores:
'L' para un paso a la izquierda, o 'R' para un paso a la derecha, o 'N'
para permanecer en el mismo lugar) y luego
Asume el mismo o un nuevo estado como prescrito (ve al estado
qi1).

En los modelos de 4-tupla, son especificadas como instrucciones separadas:

borrar o escribir un smbolo (aj1) y mover el cabezal a la izquierda o la derecha
(dk). Especficamente, la tabla indica a la mquina: (ia) borrar o escribir un
smbolo o (ib) mover el cabezal a la izquierda o a la derecha, y luego (ii) asumir el
mismo o un nuevo estado, pero no las dos acciones (ia) y (ib) en la misma
instruccin. En algunos modelos, si no hay ninguna entrada en la tabla para la
actual combinacin de smbolo y estado, la mquina se detendr; otros modelos
requieren que estn llenas todas las entradas.

2
LENGUAJES DE PROGRAMACIN A.I.E.

FUNCIONAMIENTO

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.

3
LENGUAJES DE PROGRAMACIN A.I.E.

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.

4
LENGUAJES DE PROGRAMACIN A.I.E.

CONCLUSIONES

La mquina de Turing encierra todo el poder de los procesos

computacionales, pues es capaz de simular cualquier proceso algortmico.

5
LENGUAJES DE PROGRAMACIN A.I.E.

Si una mquina de Turing no puede resolver un problema, entonces

ninguna computadora podr hacerlo, simplemente porque no existe un
algoritmo para obtener su solucin.

RECOMENDACIONES

Las limitaciones que se detectan con la mquina de Turing corresponden a

los procesos computacionales, no a la tecnologa.

6
LENGUAJES DE PROGRAMACIN A.I.E.

Los lenguajes aceptados por la mquina de Turing son los lenguajes

estructurados por frases.

ANEXOS

7
LENGUAJES DE PROGRAMACIN A.I.E.

BIBLIOGRAFIA

J. Glenn Brookshear. Teora de la computacin. Addison-Wesley

Iberoamericana

E-GRAFIA

8
LENGUAJES DE PROGRAMACIN A.I.E.

Viso, Elisa (2008). Mquina de Turing. Extraido el 06 de noviembre de

2017, de https://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing