13-14 HRS

INSTITUTO
TECNOLOGICO DE
SALTILLO
LENGUAJES Y AUTOMATAS I ING.KARINA CHAGOYAN
QUE ES?

Mquina de Turing es un modelo computacional que realiza una

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

PARA QUE SIRVEN?

Las mquinas de Turing son el principio bsico de la computacin y sistemas

actuales y sirven para realizar un proceso en un nmero finito de pasos
representados por estados.

COMO SE DEFINE?

Es un modelo computacional que realiza una lectura/escritura de manera

automtica sobre una entrada llamada cinta, generando una salida en esta
misma. Este modelo est conformado 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 es finita por la izquierda)
pertenecientes al alfabeto de entrada. Luego va leyendo una celda de la cinta ,
borrando el smbolo , escribir el nuevo smbolo perteneciente al alfabeto de
salida y finalmente avanza a la izquierda o a la derecha (solo una celda a la
vez), repitiendo esto segn se indique en la funcin de transicin, para
finalmente detenerse en un estado final o de aceptacin, representando as la
salida.

Esta constituida por los siguiente elementos:

MT = ( E, A, B, e0, F, f)

E = Conjunto de estados, no vaco.

A = Conjunto de smbolos de entrada.

B = Conjunto de smbolos auxiliares.

e0 = Estado inicial.

F = Conjunto de estados finales.

f = Funcin de control, definida:

donde: f: ( E - F ) x (AB) E x ( A B) x ( I, O, D )

I = movimiento del cabezal a la izquierda.

O = movimiento nulo.

D = movimiento a la derecha.

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:

avanzar el cabezal lector/escritor para la derecha.

avanzar el cabezal lector/escritor para la izquierda.

FUNCIONAMIENTO

Una mquina de Turing es un dispositivo que transforma un INPUT en un

OUTPUT despus de algunos pasos. Tanto el INPUT como el OUPUT constan de
nmeros en cdigo binario (ceros y unos). En su versin original la mquina de
Turing consiste en una cinta infinitamente larga con unos y ceros que pasa a
travs de una caja. La caja es tan fina que solo el trozo de cinta que ocupa un
bit (0 1) est en su interior. La mquina tiene una serie de estados internos
finitos que tambin se pueden numerar en binario.

Para llevar a cabo algn algoritmo, la mquina se inicializa en algn estado

interno arbitrario. A continuacin, se pone en marcha y la mquina lee el bit
que se encuentra en ese momento en su interior y ejecuta alguna operacin
con ese bit (lo cambia o no, dependiendo de su estado interno). Despus se
mueve hacia la derecha o hacia la izquierda, y vuelve a procesar el siguiente
bit de la misma manera. Al final se para, dejando el resultado al lado izquierdo
por ejemplo.

Una instruccin tpica podra ser: 0111011i

La traduccin es como sigue: si la mquina se encuentra en el estado interno 0

y lee 1 en la cinta, entonces pasar al estado interno 1101 (13), escribir 1 y
se mover hacia la izquierda un paso (la cinta se mover hacia la derecha).
A continuacin es conveniente inventar una notacin para la secuencia del
INPUT. Esta notacin se llama notacin binaria expandida. Consiste en cambiar
la secuencia original binaria por otra construida de la siguiente forma: el 0 se
cambia por 0 y el 1 por 10 y se ponen un cero a la izquierda y/o a la derecha
del resultado si empieza o acaba en 1 respectivamente. As por ejemplo, el
nmero 13 que en binario es 1101 es en binario expandido 1010010 con un
cero delante por esta ltima regla 01010010. Para volver al original hay que
contraer el binario expandido con la siguiente regla:

Empezamos a leer por la izquierda el binario expandido. Cuando encontremos

un 0 tomamos nota de cuntos 1 hay hasta llegar al siguiente 0 y lo
escribimos. Si encontramos que hay dos 0 seguidos, apuntaramos un 0 porque
no habra ningn 1.Veamos con el 13 cmo se hara. El primer 0 se encuentra
en la primera posicin y el siguiente 0 est en la posicin 3. Entre los dos solo
hay un 1. Lo anotamos. Seguidamente hay un 1, y despus un 0, entonces
apuntamos 1 porque hay un 1 entre medias de ellos. Esto es lo que se hace
sucesivamente y encontramos: 1101 que es el nmero original.

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:

avanzar el cabezal lector/escritor hacia la derecha.

Visualizacin de una mquina de Turing en la que se ve el cabezal y la cinta

que se lee

avanzar el cabezal lector/escritor hacia la izquierda.

El cmputo es determinado 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 ser escrito en la cinta.

La memoria ser la cinta la cual 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

BIBLIOGRAFIA

https://www.ecured.cu/M%C3%A1quina_de_Turing

http://maquinaturing.blogspot.mx/p/funcionamiento-de-la-maquina-
turing.html

http://www.genbetadev.com/desarrolladores/alan-turing-padre-de-la-
informatica-moderna-y-paria-social