6/5/2014 Unidad 4

http://10380054.galeon.com/u4.htm 1/5
Unidad 4: Mquinas de Turing.
4.1 Definicin formal MT
La Mquina de Turing (MT) fue introducida por Alan M. Turing en 1936, y puede considerarse como
un modelo abstracto que formaliza la idea Intuitiva de algoritmo.


(MT) 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.
6/5/2014 Unidad 4
http://10380054.galeon.com/u4.htm 2/5
F = Conjunto de estados finales.
f = Funcin de control, definida:

donde: f: ( E - F ) x ( A B ) 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.



4.2 Construccin modular de una MT.

El objetivo de la creacin modular de una maquina de Turing es poder desarrollar mquinas
complejas a partir de bloques elementales, a partir de maquinas ms pequeas, mediante
diagramas de transiciones. La construccin de mquinas de Turing se lleva a cabo mediante los
diagramas de transicin y combinarlos de manera parecida a lo que se realiza en la formacin de
la unin y concatenacin de los autmatas finitos.

Pasos para la construccin de una mquina de Turing:
Elimine las caractersticas de inicio de los estados iniciales de las maquinas, excepto la de aquel
donde iniciara la maquina compuesta.
limine las caractersticas de detencin de los estados de parada de todas la maquinas e
introduzca un nuevo estado de parada que nos se encuentre en ninguno de los diagramas que
se combinan.
Para cada uno de los antiguos estados de parada p y cada x en y.
Una mquina de Turing es un autmata que se mueve sobre una secuencia lineal de datos. En cada
instante la mquina puede leer un solo dato de la secuencia (generalmente un carcter) y realiza
ciertas acciones en base a una tabla que tiene en cuenta su "estado" actual (interno) y el ltimo
6/5/2014 Unidad 4
http://10380054.galeon.com/u4.htm 3/5
dato ledo.

Entre las acciones est la posibilidad de escribir nuevos datos en la secuencia; recorrer la secuencia
en ambos sentidos y cambiar de "estado" dentro de un conjunto finito de estados posibles.

4.3 Lenguajes aceptados por la MT.

Una mquina de Turing se puede comportar como un aceptador de un lenguaje. Si colocamos una
cadena w en la cinta, situamos la cabeza de lectura/escritura sobre el smbolo del extremo
izquierdo de la cadena w y ponemos en marcha la mquina a partir de su estado inicial.
Entonces w es aceptada si, despus de una secuencia de movimientos, la mquina de Turing
llega a un estado final y para. Por tanto w es aceptada. Si qw * w1pw2 para algn estado final p y
unas cadenas w1 y w2.

Entonces, se obtiene la siguiente definicin:

Sea M = (Q, S , G, q0=q1, B, F, d) una mquina de Turing. Entonces el lenguaje aceptado por M es:
L(M) = {w S*q1w * w1pw2 para pF y wiG*}.

Los lenguajes formales que son aceptados por una mquina de Turing son exactamente aquellos
que pueden ser generados por una gramtica formal. El clculo Lambda es una forma de definir
funciones. Las funciones que pueden se computadas con el clculo Lambda son exactamente
aquellas que pueden ser computadas con una mquina de Turing.

Estos tres formalismos, las mquinas de Turing, los lenguajes formales y el clculo Lambda son
formalismos muy dismiles y fueron desarrollados por diferentes personas. Sin embargo, ellos son
todos equivalentes y tienen el mismo poder de expresin. Generalmente se toma esta notable
coincidencia como evidencia de que la tesis de Church-Turing es cierta, que la afirmacin de que
la nocin intuitiva de algoritmo o procedimiento efectivo de cmputo corresponde a la nocin de
cmputo en una mquina de Turing.

Gramticas estructuradas por frases:
Parte izquierda de las reglas: combinacin de smbolos terminales y no terminales,
con al menos un no terminal.
Parte derecha de las reglas: combinacin de smbolos terminales y no terminales de cualquier
longitud (incluso 0).
Las mquinas de Turing aceptan lenguajes estructurados por frases.
La M.T. como generadora de lenguajes.

L={an b2n an, con n mayor o igual a 0}

Entrada:

Cinta1: ...BBB...
Cinta2: ...BBB...

Salida:

Cinta1: ...0000...
Cinta2: ...$abba$aabbbbaa$...

6/5/2014 Unidad 4
http://10380054.galeon.com/u4.htm 4/5
Proceso:

El proceso de la maquina es sencillo, consiste en generar 0's en la primera cinta y su
correspondiente lenguaje en la segunda cinta. Este proceso ser cclico y sin fin, ya que estamos
tratando con un generador.

Para ello utilizamos multicinta porque nos facilita de manera considerable el trabajo.


Ejemplifiques el funcionamiento de una Mquina de Turing.

Supongamos que tenemos ={a,b} y q_f y que representamos los enteros positivos mediante
cadenas solo de as. As el entero n estara representado por a^n.

Se puede construir la MT que calcule la funcin f(n,m) = n+m, implementando la transformacin
a^n ba^m en a^(n+m) b

Solucin:

Se recorren desde la izquierda todas las as hasta encontrar una b, esta se reemplaza por una a,
cambiando de estado, en este mismo estado se recorren todas las as a la derecha y cuando se
llega a un blanco se reemplaza por el mismo blanco se deja la cabecera a la izquierda y se
reemplaza la a por un blanco para restarle la que adiciono y se mueve hacia la derecha y se
cambia al estado final q3.

M=(Q,,,q_0,q_3,B,)

Donde la funcin se define as:

Regresar

Siguiente Unidad
Buscar en Galeon Buscar
Compartir en: Denunciar Poltica de cookies crea tu web
6/5/2014 Unidad 4
http://10380054.galeon.com/u4.htm 5/5