A.

Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

7. Mquinas de Turing.
Araceli Sanchis de Miguel
Agapito Ledezma Espino Grado Ingeniera InformDca
Jos A. Iglesias Mar<nez
Teora de Autmatas y Lenguajes Formales
Beatriz Garca Jimnez
Juan Manuel Alonso Weber
Introduccin, Denicin y

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Ejemplos

Tipos de MT

Equivalencia y Variantes de MT

2
Introduccin

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Origen:
La Mquina de Turing (MT) fue descrita por Alan Turing en 1936.

Alan Turing (Ingls: 1912 - 1956)

Fue un cien<co ingls que hizo
grandes aportaciones en: matemDcas,
criptoanlisis, lgica, losoZa, biologa,
ciencias de la computacin, inteligencia
arDcial y vida arDcial.

Es considerado uno de los padres
de la ciencia de la computacin. Es el
precursor de la informDca moderna. 3
De9inicin de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

DisposiDvo hipotDco capaz de manipular smbolos en una Dra de
cinta considerando ciertas reglas. A pesar de su simplicidad, pueden
simular la lgica de cualquier algoritmo de un computador.

Una MT est formado por:

Cinta innita dividida en celdas
Cabezal de lectura/escritura capaz de moverse sobre dicha cinta.

vdeo
vdeo vdeo

Diferentes versiones que simulan una MT 4

De9inicin de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Representacin:
Cabeza Lectura/
Escritura
Cinta
b 1 0 1 0 b b b

Control
de
Estados
Movimiento
5
De9inicin de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Operaciones:
Cinta
0 1 0 b b b
b 1 1
Estando en un estado P y leyendo el smbolo de
la celda de la cabeza de L/E (Ej: 0), se realizan
(en este orden) las sig. acciones:
Estado:

P 1. Pasa a un nuevo estado. (Ej: S)

S
2. Escribe un nuevo smbolo en la cinta
(reemplazando el existente). (Ej: 0 1)
3. Mueve el cabezal de L/E hacia:
6
Drcha, Izqda, o no se mueve (Ej: Izqda)
De9inicin de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

De9inicin
Formal:

Una MT se dene como una 7-tupla:

MT = (, , b, Q, q0, f, F)
Donde:
Smbolo
Alfabeto de smbolos de la cinta.
Alfabeto de entrada.
b smbolo especial- espacio en blanco (b ). Tb se representa como:
Q conjunto nito de estados.
q0 Q estado inicial.
F Q conjunto de estados nales o de aceptacin.
7
f funcin Q G Q G {I, D, P} (donde I: Izqda, D: Drcha y P: Parada).
De9inicin de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Caractersticas:
La cinta se supone innita por ambos lados.
Inicialmente la cinta conDene un nmero nito de smbolos
consecuDvos (de ) precedidos y seguidos por el smbolo b (o ).
La cabecera de L/E est situada inicialmente sobre el elemento ms
a la izquierda de la palabra.
Toda MT se representa por una tabla de transicin (como el resto de
Autmatas). Si la transicin No es posible La MT se de+ene.
f (Estados) Smbolo Smbolo
Estado (Estado, Smbolo, Movim.) (Estado, Smbolo, Movim.)
Estado (Estado, Smbolo, Movim.) (Estado, Smbolo, Movim.)
8

Ejemplo de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

MT_1 = ( ={0,1,b}, ={0,1}, b, Q={q0 , q0 , q0}, q0, f, F={qF} )
donde f: f 0 1 b
q0 (q0 , 0, D ) (q1 , 1, D ) (qF , 0, P )
q1 (q1 , 0, D ) (q0 , 1, D ) (qF , 1, P )
*qF

9
 Ejemplo de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

MT_1 = ( ={0,1,b}, ={0,1}, b, Q={q0 , q0 , q0}, q0, f, F={qF} )
donde f: f 0 1 b
Tambin puede
Estado q0 (q0 , 0, D ) (q1 , 1, D ) (qF , 0, P ) representarse
Inicial () q1 (q1 , 0, D ) (q0 , 1, D ) (qF , 1, P ) como:

Estado *qF
Final (*)

Desplazamiento:
Representacin: (Estado al que transita, D -> Derecha
Smbolo que se escribe en la cinta, I -> Izquierda
Movimiento que realiza el cabezal de L/ P -> Parada
E)
Tambin puede
representarse como: +,-,=

10
Ejemplo de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

MT_1 = ( ={0,1,b}, ={0,1}, b, Q={q0 , q0 , q0}, q0, f, F={qF} )
donde f: f 0 1 b
q0 (q0 , 0, D ) (q1 , 1, D ) (qF , 0, P )
q1 (q1 , 0, D ) (q0 , 1, D ) (qF , 1, P )
*qF

11
 Ejemplo de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

MT_1 = ( ={0,1,b}, ={0,1}, b, Q={q0 , q0 , q0}, q0, f, F={qF} )
donde f: f 0 1 b
q0 (q0 , 0, D ) (q1 , 1, D ) (qF , 0, P )
q1 (q1 , 0, D ) (q0 , 1, D ) (qF , 1, P )
*qF

Sin transiciones
Paro de la MT Cinta
b b 1 0 0 1 b
0 b

Inicio
Estado: 12
qq10 qF
 Ejemplo de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

MT_1 = ( ={0,1,b}, ={0,1}, b, Q={q0 , q0 , q0}, q0, f, F={qF} )
donde f: f 0 1 b
q0 (q0 , 0, D ) (q1 , 1, D ) (qF , 0, P )
q1 (q1 , 0, D ) (q0 , 1, D ) (qF , 1, P )
*qF

Cinta
b b 1 0 0 1 0 b
Cmo funciona esta MT?
Al nal de la palabra (en el primer b), escribe:
0 Si el nmero de 1s de la palabra leda es Par 13
1 Si el nmero de 1s de la palabra leda es Impar
De9inicin de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Diagrama de Estados:
La funcin de transicin tambin puede describirse en forma de
diagrama de estados:

Los nodos representan estados.

Los arcos representan transiciones de estados.
Cada arco es eDquetado con los prerrequisitos y los efectos de
cada transicin:
Smbolo inicial,
Smbolo que se reescribe,
Direccin del movimiento del cabezal.

14
De9inicin de una MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Diagrama de Estados - Ejemplo:
f 0 1 b
q0 (q0 , 0, D ) (q1 , 1, D ) (qF , 0, P )
q1 (q1 , 0, D ) (q0 , 1, D ) (qF , 1, P )
*qF

0; 0, D 0; 0, D
1; 1, D Nomenclatura:

1) Smbolo que se lee de la cinta (b)

2) Smbolo que se sobreescribe en la cinta. (1)
q0 q1 3) Mov. que realiza el cabezal (P)

1; 1, D
b, 1, P
15
b; 0, P
qF
Introduccin, Denicin y

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Ejemplos

Tipos de MT

Equivalencia y Variantes de MT

16
Tipos de MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

MT que acta como TRANSDUCTOR:
Modica el contenido de la cinta realizando cierta funcin.

MT que acta como RECONOCEDOR:

MT capaz de reconocer un lenguaje L.
MT capaz de aceptar un lenguaje L.

17
Tipos de MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

MT que acta como TRANSDUCTOR:
Modica el contenido de la cinta realizando cierta funcin.
Ejs: MT que sus+tuye los dgitos por cero,
MT que aade un bit de paridad a la entrada,
MT que duplica el nmero de 1s que hay en la cinta

Si la Entrada est bien formada:

debe terminar en un Estado Final.

Si la Entrada No est bien formada:

debe terminar en un Estado No Final.
18
Ejemplos de MT
Diferentes MT que no se detienen:

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

b; b, I
1; 1, D 1; 1, D 1; 1, I
b; b, I

q0 q0 q1
b; b, D

MT que calcula n+1 considerando el nmero n>=0 como una sucesin de 1s.
1; 1, D

q0 b; 1, P
q1
19
Tipos de MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

MT que acta como TRANSDUCTOR:
Modica el contenido de la cinta realizando cierta funcin.

MT que acta como RECONOCEDOR:

MT capaz de reconocer un lenguaje L.
MT capaz de aceptar un lenguaje L.

20
Tipos de MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

MT que acta como RECONOCEDOR:
MT capaz de RECONOCER o ACEPTAR un lenguaje L.

Una MT RECONOCE un lenguaje L, si dada una entrada (w) en la

cinta, la MT SIEMPRE se para, y lo hace en un EF si y slo si: w L

Una MT ACEPTA un lenguaje L, si dada una entrada (w) en la

cinta, la MT se para en un Estado Final si y slo si: w L
As, en este caso, si w L , la MT podra no parar.

Ejs: MT que reconoce el lenguaje a*b*,
MT que acepta el lenguaje anbncn 21

 Ejemplos de MT
MT que reconoce el L={anbn, n>=0}

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

; , D

a; , D ; , I b; , I
q0 q1 q2 q3

; , P
Entrada Resultado
q4 ab Aceptada
ba No Aceptada
aabb Aceptada
En este caso, el smbolo especial- espacio aab No Aceptada
en blanco (b ) se representa como: ,
abb No Aceptada
porque b 22
aaaabbbb Aceptada
Ejemplos de MT
MT que reconoce el L={anbncn, n>=0}

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

; , D

b; b, I
a; a, D 3; 3, D a; a, I
2; 2, D b; b, D 2; 2, I
3; 3, I

a; 1, D b; 2, D c; 3, I
q0 q1 q2 q3 q8

a; 1, D 1; 1, D ; , I

2; 2, D q7
q4
2; 2, D
q5 3; 3, D
23
; , I
3; 3, D
q6
Introduccin, Denicin y

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Ejemplos

Tipos de MT

Equivalencia y Variantes de MT

24
Equivalencia de MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Dos MT son equivalentes si:
Ambas realizan la misma accin sobre TODAS sus entradas. Adems, si
una MT no se parara para alguna entrada, la otra tampoco podr
pararse.

Si las MT actan como Transductor:

Para cada entrada posible, los contenidos de la cinta al nal del
proceso deben ser iguales.

Si las MT actan como Reconocedor:

Ambas deben Aceptar y/o Reconocer las mismas palabras.
25
Variantes de MT

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

Existen numerosas variantes de MT obtenidas al restringir
algn aspecto de las mismas:

Consideremos algunos ejemplos:

MT con alfabeto binario ( = {0,1,b}).
MT limitada por un extremo.
MT con restricciones en el movimiento de L/E.

26
MT Universal (MTU)

A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso

MT capaz de simular el comportamiento de cualquier MT.

Una MTU conDene en su cinta:

1. La descripcin de otra MT,
2. El contenido de la cinta de dicha MT,
y produce el como resultado de su ejecucin, el mismo resultado
que producira la MT sobre su cinta.

27
 A. Sanchis, A. Ledezma, J.A. Iglesias, B. Garca, J. M.Alonso
7. Mquinas de Turing.
Araceli Sanchis de Miguel
Agapito Ledezma Espino Grado Ingeniera InformDca
Jos A. Iglesias Mar<nez
Teora de Autmatas y Lenguajes Formales
Beatriz Garca Jimnez
Juan Manuel Alonso Weber