TRABAJO COLABORATIVO 3

AUTOMATAS Y LENGUAJES FORMALES

ESTUDIANTES:

TUTORA:
MAGDA LORENA ZUIGA

UNIVERSIDAD NACIONAL ABIERTA Y DISTANCIA

NOVIEMBRE 2016

La siguiente mquinas de Turing se puede comportar como transductor cuando reconoce

cualquier combinacin de ceros y unos, (tambin reconoce ); pero que tiene como
salida el inverso de los smbolos que han entrado (cambia 0s por 1s y 1s por
0s). Observe que en este caso el mismo alfabeto se usa tanto para las cadenas de
entrada como para la cinta.

Actividades a desarrollar:
Disee Una MT que se comporte como transductor que reconozca el lenguaje L
={01u11*} (NO incluye o NO acepta la cadena ). La transduccin (salida) debe ser
que por cada smbolo que entre duplique el smbolo del alfabeto de la cinta, para el
alfabeto 0 la cinta ser a y para el alfabeto 1 el valor en la cinta ser b: Ejemplo:
para la cadena (11) la salida ser (aaaa), para la cadena 01 la salida ser: (aabb) El
alfabeto de la cinta es debe ser diferente al alfabeto de entrada. Es decir el alfabeto
de entrada es 0 y el de la cinta a, y para la entrada 1 el de la cinta b con
sus respectivos smbolos blanco si es que los necesita en su diseo
1. Identifique los componentes de la Mquina (descrbala).
La Mquina de Turing es un modelo matemtico que se puede definir como un
Sptuplo (, , , , s, , F, ) en donde:
= es un conjunto de estados tal forma que K donde es el estado de
aceptacin y pertenece al conjunto de estados . K={0, 1, 2, 3, 4, 5, 6}
= es el alfabeto de entrada (palabras de entrada) donde . {0,1}
s K es el estado inicial que pertenece al conjunto de estados K. s={0}
f K es el estado final que pertenece al conjunto de estados K. f = {6}
(Smbolo blanco pertenece al alfabeto de la cinta no al alfabeto de las palabras que
se van a reconocer) es el smbolo carcter blanco que est inmerso en el alfabeto de la
cinta .
: Es la funcin de transicin

 = (0,0)= 1
= (0,a)= 1
= (0,L)= 1
= (1,)= 2
= (1,a)= 2
= (1,R)= 2
= (2,a)= 3
= (2,a)= 3
= (2,R)= 3
= (3,1)= 3
= (3,1)= 3
= (3,R)= 3
= (3,)= 4
= (3,)= 4
= (3,L)= 4
= (4,b)= 4
= (4,b)= 4
= (4,L)= 4
= (4,a)= 4
= (4,a)= 4
= (4,L)= 4
= (4,1)= 5
= (4,b)= 5
= (4,R)= 5
= (5,b)= 5
= (5,b)= 5
= (5,R)= 5
= (5,)= 4
= (5,b)= 4
= (5,L)= 4
= (4,b)= 4
= (4,b)= 4

 = (4,L)= 4
= (4,a)= 4
= (4,a)= 4
= (4,L)= 4
= (4, )= 6
= (4, )= 6
= (4,R)= 6

2. Disela en un Diagrama de Moore.

3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la
cinta como en la secuencia de entrada.

La cadena vlida usada en este punto: 0

La mquina inicia en el estado q0 y el cabezal de la cinta se ubica en la primera 0 de

extremo izquierdo.

Del estado q1 pasa al estado q2, lee un espacio en blanco, escribe una a y se desplaza hacia
la derecha

Del estado q0 pasa al estado q1, lee una a, escribe una R y se desplaza hacia q2.

Del estado q0 pasa al estado q2, lee una a, escribe una R y se desplaza hacia q3.

Del estado q3 pasa al estado q4, lee y escribe una a, se desplaza hacia abajo

Del estado q4 pasa al estado q5 regresa l estado q4 y pasa al estado final q6, lee y escribe
un espacio en blanco, y se desplaza hacia la derecha.

4. Identifique una cadena que no sea vlida y justifquela porque.

Cadena no vlida: 1111

Esta cadena no es vlida, porque no llega a un estado de aceptacin, y adems la c

1111 no es un elemento que hace parte del alfabeto de entrada ni del alfabeto de la
cinta, ya que el lenguaje dado en el ejercicio es L ={01u11*} Cuando queremos que una
palabra no sea aceptada, desde luego debemos evitar que la MT llegue al halt.
Podemos asegurarnos de ello haciendo que la MT caiga en un ciclo infinito. Para este
caso la 1111 hace que no llegue al estado final q6.