Ejercicio 1:

Disee una MT que se comporte como reconocedor que su lenguaje sea {a,b} que acepte
cadenas que empiecen y terminen en el mismo smbolo.

1. Identifique los componentes de la Mquina de Turing (descrbala).

Es un dispositivo hipottico que es capaz de leer unos signos o smbolos que

estn grabados en una cinta teniendo en cuenta unas reglas determinadas. Y
este puede simular cualquier algoritmo de un computador. Es una maquina
muy sencilla, y est formada por tres elementos que son:

Una cinta que est dividida en celdas y cada celta tiene un determinado
smbolo o signo

Control de estado: almacena el estado corriente de M.

Cabeza de lectura y de escritura. Este dispositivo fuera de estas funciones

puede desplazarse hacia la izquierda, o hacia la derecha.

La definicin formal de la mquina de turing es:

= (, , , , , , )

. , , pero no est incluido en el , TB se representa como

{, , } (: , : , : )

( )

2. Disela en un Diagrama de Moore.

(q0,a) (a,r,q1)
(q0,b) (b,r,q2)
(q1,a) (a,r,q1)
(q1,a) (1,r,q1)
(q1,) (,l,q3)
(q2,a) (a,r,q2)
(q2,b) (b,r,q2)
(q2, ) (,l,q4)
(q3,a) (a,r,q5)!
(q4,a) (a,r,q5)!
Ejercicio realizado en la pagina http://morphett.info/turing/turing.html#SyntaxInfo
3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la
cinta como en la secuencia de entrada.

En este ejercicio utilizaremos la cadena aba. Cuando iniciamos la simulacin, el programa se

pone en inicio y lee el primer carcter.

Cuando el carcter que es ledo es a, mantiene la a, se desplaza a la derecha y busca q1.

Al estar en q1, lee los caracteres que estn en la cadena y se mantiene en q1, cuando encuentra un
espacio blanco, no hace ningun cambio y se desplaza a la izquierda y busca q3.
Estando en q3, lee el carcter a, mantiene la a, y se desplaza a q5 que es un estado da aceptacin.

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

La palabra que no es vlida es la siguiente bba. Lee el primer carcter, en este caso es b,
mantiene la b y se desplaza hacia la derecha y busca q2.

Estando en q2, lee todos los caracteres que tiene la palabra hasta que encuentra un espacio en
blanco. Cuando lo encuentra, mantiene el espacio en blanco, se desplaza hacia la izquierda y
busca q4.
Estando en q4, espera que llegue una b, para pasar al estado de aceptacin que es q5. Pero como
no llega se queda en q4, que es un estado de no aceptacin.
5. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.

Es una MT, porque solo puede funcionar con el lenguaje especificado. Si le introducen otro
lenguaje no hace nado.

Problema 2
Teniendo en cuenta la siguiente tabla de transicin de una mquina de Mealy, realice:
f Entrada
Estado 0 1
q0 q1 q0
q1 q3 q0
q2 q1 q2
q3 q2 q1

G Entrada
Estado 0 1
q0 1 0
q1 1 1
q2 0 1
q3 0 0

1. Identifique los componentes de la Mquina (descrbala).

= (, , , 0 , , )
Se tiene:
= {0, 1, 2, 3}
= {0,1}
= {0,1,2}

= ({0, 1, 2, 3}, {0,1}, {0,1}, 0 , , )

:

(0,0) = 1
(0,1) = 0
(1,0) = 3
(1,1) = 0
(2,0) = 1
(2,1) = 2
(3,0) = 2
(3,1) = 1

2. Disela en diagrama (Mquina de Mealy).

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

Se ingresa la cadena 10100 en jflap y ver su recorrido

Para iniciar el proceso el cabezal de la maquina se posiciona sobre el estado inicial q0

El siguiente paso la maquina transita del estado q0 al mismo estado q0 por medio de la transicin
1 escribiendo en la cinta el numero 0 luego el cabezal avanza un espacio a la derecha de la cinta.
En el siguiente pantallazo la mquina pasa del estado q0 al estado q1 mediante la transicin 0
escribiendo en la cinta el nmero 1 luego el cabezal adelanta un espacio a la derecha de la cinta.

La mquina pasa del estado q1 al estado q0 mediante la transicin 1 escribiendo en la cinta el

nmero 1 luego el cabezal avanza un espacio a la derecha de la cinta.
La mquina pasa del estado q0 al estado q1 mediante la transicin 0 escribiendo en la cinta el
nmero 1 luego el cabezal avanza un espacio a la derecha de la cinta

La mquina pasa del estado q1 al estado q3 mediante la transicin 0 escribiendo en la cinta el

nmero 1 luego el cabezal avanza un espacio a la derecha de la cinta y termina el recorrido
 4. Realice la conversin paso a paso de mquina de Mealy a mquina de Moore

En primera instancia se disea la tabla de la mquina Mealy:

0 1

Estado Salida Estado Salida

q0 q1 1 q0 0

q1 q3 1 q0 1

q2 q1 0 q2 1

q3 q2 0 q1 0

Ahora con base a esta tabla se disea los posibles estados equivalente, para la maquina Moore
basndonos en la tabla de arriba:
Posibles estados
q0
q11
q00
q31
q01
q10
q21
q20

Ahora s, ya con estas tablas se procede a crear la tabla de equivalencia para la maquina Moore.
0 1
Estado Salida Estado Salida
q0 q11 1 q00 0
 q00 q11 1 q00 0
q01 q11 1 q00 0
q10 q31 1 q01 1
q11 q31 1 q01 1
q20 q10 0 q21 1
q21 q10 0 q21 1
q31 q20 0 q10 0

Con base a esta tabla hacemos nuestro diagrama en Jflap:

Estos pantallazos prueban de su equivalencia con el diagrama Mealy

 5. Explique cinco caractersticas de la Mquina de Mealy y encuentre cinco diferencias con las Mquinas
de Moore.

Caractersticas Maquina Mealy:

Las mquinas de Mealy, son en esencia mquinas traductoras, ya que dada una palabra en la entrada
generan otra palabra en la salida. Por lo expuesto en el prrafo anterior, para producir la
correspondiente transformacin estas mquinas debern estar compuestas por:
Dos cintas asociadas, una que permita alojar una cadena de smbolos a la entrada, que sern ledos uno por
vez, y otra cinta que permita registrar las salidas que se irn produciendo en la ejecucin de la mquina.
Debern contener un conjunto finito de estados, los que son capaces de memorizar, en cada momento la parte
de la palabra de entrada leda en ese instante de tiempo, cambiar de estado y producir una salida.
Es importante resaltar que en un determinado intervalo de tiempo, las mquinas secuenciales realizarn tres
acciones que sern indivisibles (consideradas como una unidad), las cuales son:

1. Realizan una lectura sobre la cinta de entrada.

2. Cambiar de estado.
3. Grabar un smbolo en la cinta de salida
Otra caracterstica importante a destacar sobre este tipo de mquinas, es que no disponen de un estado inicial
previsto, por lo tanto, en el momento de comenzar su funcionamiento podrn hacerlo desde cualquiera de sus
estados, produciendo eventualmente salidas diferentes.
Determina sus salidas dependiendo de los estados presentes de la mquina y de las entradas.

Diferencias
Mquina de Mealy
Las salidas estn en funcin de dos, el
estado presente y las entradas.
Reacciona ms rpido a las entradas.
Tiene menos estados que la mquina de
moore.
Cuando llega un pulso de reloj, se captura
el nuevo estado. Defecto: Con el pulso de
reloj se captura el nuevo estado y el L/C
recalcula otro estado y una nueva salida.
En los circuitos de Mealy las salidas
nicamente son funcin del estado.
Mquina de Moore
Las salidas estn en funcin del estado
presente solamente.
En las mquinas de Moore se necesita ms
lgica para descodificar las salidas, debido
a que cuenta con ms retrasos de circuito.
Tiene ms estados que la mquina de
Mealy.
En la mquina de Moore, la salida se toma
directamente del registro, por lo que no
necesita lgica combinacional para
sintetizar la salida.
En los circuitos de Moore las salidas son
funcin del estado y de las entradas.
 BIBLIOGRAFIA

Rosenfeld, D. (2016). Compatibilidad, Complejidad computacional y verificacin de

programas. (pp. 7 - 27). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=112016
16&ppg=12

Alfonseca C, E., Alfonseca M, M., Mariyn S, R. (2009). Teora de autmatas y lenguajes

formales. (pp. 7-797). Recuperado de:
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=104984
56&ppg=6

Oscar Pulido (2012), Maquinas de estados. Recuperado de:

https://www.youtube.com/watch?v=KRE-igv2Adg
Andres Flores (2015), Maquinas de estado 1ra parte. Recuperado de:
https://www.youtube.com/watch?v=g6JkqUUvPNk