AUTOMATAS Y LENGUAJES FORMALES

DESARROLLO DE LA ACTIVIDAD

PRIMER EJERCICIO: DISEO DE UNA MT COMO TRANSDUCTOR.

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 de Turing (descrbala).

M = (Q, , , , s, , F)
Q = {q0, q1, q2}.
= {0, 1}
= {a,b}
q0 = q0 q (estado inicial)
=
F = F q {q2} (estado final)
= Es la funcin de transicin

AUTOMATAS Y LENGUAJES FORMALES

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.
Entrada del alfabeto de lectura

Luego se corre la simulacin del alfabeto de entrada

AUTOMATAS Y LENGUAJES FORMALES

Muestra en la cinta el alfabeto de escritura (de cinta), cumpliendo la

condicin en el cual por cada smbolo de lectura representa el doble de
los smbolos de escritura.

AUTOMATAS Y LENGUAJES FORMALES

4. Identifique una cadena que no sea vlida y justifquela

porque.

El alfabeto de entrada 00 no es vlida ya que se queda en la

transicin q0 y el estado de aceptacin es 1.
o de entrada de lectura y escritura a travs de una cinta.