TRABAJO COLABORATIVO 3

TUTOR:
ING. JAIME JOSE VALDES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

INGENIERIA DE SISTEMAS
AUTOMATAS Y LENGUAJES FORMALES

INTRODUCCIN
La mquina de Turing es un modelo computacional introducido por Alan Turing
en el trabajo Oncomputable numbers, with an application to the Entscheidungs
problema, publicado por la Sociedad Matemtica de Londres, en el cual se
estudiaba la cuestin planteada por David Hilbert sobre si las matemticas son
decidibles, es decir, si hay un mtodo definido que pueda aplicarse a cualquier
sentencia matemtica y que nos diga si esa sentencia es cierta o no. Turing
construy un modelo formal de computador, la mquina de Turing, y demostr
que existan problemas que una mquinano poda resolver. La mquina de
Turing es un modelo matemtico abstracto que formaliza el concepto de
algoritmo. Una mquina de Turing con una sola cinta puede ser definida como
una 6-tupla, donde Qes un conjunto finito de estados
es un conjunto finito de
smbolos de cinta, el alfabeto de cinta

Descripcin mquina de Turing

1. Dado el alfabeto

DESARROLLO

de la siguiente Mquina de Turing, determine:

Lenguaje que acepta:

a
Xxa
xzxxa

Recorra la mquina con al menos una cadena vlida.

Identifique una cadena que no sea vlida y justifique por

qu.

Cadena
RRRR
No es vlida porque el autmata reconoce solo en lenguaje {x,
y, }
No es vlido porque no sigue la secuencia de la cinta del autmata

2. Disee una MT que reconozca {

: n 1}

Cambie un 0 por una x (explique qu pasa con la mquina).

Cambie un 1 por una y (explique qu pasa con la mquina).
Identifique en qu momento la mquina de Turing se detiene.
Calcule la funcin
Grafquela e identifique sus elementos.
Identifique la funcin de transicin.

La funcin se define as:

(q0, 0) = (q1, X, R)
(q1, 0) = (q1, 0, R)
(q1, X) = (q1, X, R)
(q1, 1) = (q2, Y, L)
(q2, Y) = (q2, Y, L)
(q2, 0) = (q2, 0, L)
(q2, X) = (q0, X, R)
(q0, Y) = (q3, Y, R)
(q3, Y) = (q3, Y, R)
(q3, B) = (q4, B, R)

Sea T = {q4}
Sea w = 1100
q00011 - Xq111
- X0q111 - Xq20Y 1
-q2X0Y 1
- Xq00Y 1 - XXq1Y 1
-XXY q11
- XXq2Y Y - Xq2XY Y
- XXq0Y Y
- XXY q3Y
-XXY Y q3B - XXY Y Bq4B

3. Construya una MT que acepte el Lenguaje (represntela

L = {ai bi ci : i = 0} sobre = {a, b, c}
Se cambia la a por una x movindose a la derecha. (Explique qu pasa con
la mquina). Represente los movimientos en la tabla de transiciones para MT.
Luego se mueve a la izquierda pasando por encima de las bs (bes) (explique
qu pasa con la mquina). Represente los movimientos en la tabla de
transiciones para MT.
Identifique en qu momento la mquina de Turing se detiene.
Calcule la funcin

1. Se cambia la a por una X y se mueve hacia la derecha pasando por

encima de todas las a0s e Y s, hasta llegar a la primera b, cambia la
primera b por una Y, se mueve a la derecha pasando por encima de las
bs y Zs y luego encuentra la primera c y la cambia por Z y se mueve a la
izquierda.

Luego se mueva a la izquierda pasando por encima de bs, Y s, as, hasta

encontrar la X la reemplaza por una X y repite el proceso anterior, cuando la
maquina reemplaza la cadena X, Y y Zs reconoce la cadena vaca y busca el
estado de aceptacin.

4. Construir una MT que reconozca

*
*
L= 01 + 10
Para la Mquina M = (Q, , , q0 , T , B ,
Q = {q0, q1} {0, 1, B}
Estado inicial [q0, B]
Estado final [q1, B]
La funcin de transicin esta dad por:
([q0, B], 0) = ([q1, 0], 0,)
([q1, 0], 1) = ([q1, 0], 1, D)
([q1, 0], B) = ([q1, B], B, D)
([q0, B], 1) = ([q1, 1], 1, D)
([q1, 1], 0) = ([q1, 1], 0, D)
([q1, 1], B) = ([q1, B], B, D)

CADENAS VALIDAS
01B
10B
0111B

5. Para la siguiente Mquina de Turing (MT):

Identifique que pasa cuando inicia con la cadena yyxyxx (demustrelo con el
recorrido de la misma)
Plsmela en el simulador (debe entregar el archivo generado por el
simulador), Las imgenes capturadas van inmersas en el desarrollo del trabajo
Con base en esa MT, preponga una nueva mquina que se comporte
diferente cuando inicia con la cadena yyxyxx

Con la cadena yyxyxx el autmata llega hasta el estado q0 o inicial

.Con base en esa MT, preponga una nueva mquina que se comporte diferente
cuando inicia con la cadena yyxyxx

6. Considere la mquina de Turing de la figura con el alfabeto {x,y,z} e indique

que tipo de cadenas decide el lenguaje que acepta.

Dentro del RunTest y el recorrido de la cinta, Ubique en su cinta la secuencia

xy y que sea sustituida por zz. Identifique cuando se detiene la
mquina cuando hace esta operacin
Plsmela en el simulador. Las imgenes capturadas van inmersas en el
desarrollo del trabajo.
Ejecute el RunTest a la cadena aceptada (mustrela en la captura de imagen
para el trabajo).

En esta imagen se puede observar que la MT se detiene en q3 y no llega a su

final puesto que se le dio la cadena de caracteres xy (vaco), pues que los
primeros caracteres se van por la cadena R y el (vaco) se tiende a ir por la
cadena L esto hace que no contine la Maquina de Turing.

CONCLUSION

La mquina de Turng es una mquina mediante la cual es posible la

categorizacin de problemas computacionales mediante el anlisis de
complejidad de algoritmos, de acuerdo a su comportamiento.

BIBLIOGRAFIA:

De Wikipedia, la enciclopedia libreSaltar a navegacin, bsqueda Feynman,

Richard (1996).
Conferencias sobre computacin, graficromo. ISBN 84-8432-444-3. Consultado
el 11 de Julio del 2010.
Viso, Elisa (2008). Introduccin a la teora de la computacin. ISBN 978-97032-5415-6.Consultado el 11 de Julio del 2010.
De Castro, Rodrigo (2004). Teoria de la computacion : lenguajes, automatas,
gramticas .Consultado el 15 de Julio del 2010.
on computable numbers,with an application to the entscheidungsproblem (en
espaol).Consultado el 15 de Julio de 2010.
Variantes de una Mquina de Turing (en espaol). Consultado el 11 de Julio
de 2010.
Obtenido de "http://es.wikipedia.org/wiki/M
%C3%A1quina_de_Turing"Categoras: Mquinas de Turing | Gramtica
generativa