Ejercicio 1:

Diseñe una MT que se comporte como reconocedor que su lenguaje aceptado sea el
conjunto de cadenas con el mismo número de ceros que de unos.

1. Identifique los componentes de la Máquina de Turing (descríbala).

2. Diséñela en un Diagrama de Moore.
3. Recorra la máquina con al menos una cadena válida explicando lo sucedido tanto en
la cinta como en la secuencia de entrada.
4. Identifique una cadena que no sea válida y justifíquela porque.
5. Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.

Ejercicio 2:
Teniendo en cuenta la siguiente tabla de transición de una máquina 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 1

1. Identifique los componentes de la Máquina (descríbala).

Los componentes son 6-tupla: M = (Q, Σ, Г, q0, δ, β) en donde:

Q = 4 Estados {q0, q1, q2, q3}

Σ =Alfabeto de entrada {0,1}
Г = Alfabeto de salida {0,1}
q0= Estado inicial que pertenece a Q
δ = Función de transición
β = Función de salida
 2. Diséñela en diagrama (Máquina de Mealy).

3. Recorra la máquina con al menos una cadena válida explicando lo sucedido

tanto en la cinta como en la secuencia de entrada.

Se escoge la cadena 100100

En el paso a paso se observa que la maquina empieza en su estado inicial, al ingresar
el primer símbolo la maquina realiza su validación y nos da un símbolo de salida del
alfabeto (0) y se ve refleja en la cinta quedando en el estado inicial q0.

Y así sucesivamente se ve como al realizar el paso por cada uno de los estados no va
mostrando los símbolos de salida y se van registrando en la cinta. Cuando la máquina
de Mealy ingresa el ultimo digito de la cadena a validar genera un carácter de salida (0)
validando la cadena y aceptándola (Verde), la cadena que queda registrada en la cinta
es 001010
 4. Realice la conversión paso a paso de máquina de Mealy a máquina de Moore

Maquina de Mealy:

f ENTRADA G ENTRADA
Estado 0 1 Estado 0 1
q0 q1 q0 q0 1 0
q1 q3 q0 q1 1 1
q2 q1 q2 q2 0 1
q3 q2 q1 q3 0 1

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 1

POSIBLES ESTADOS
q0
q11
q00
q31
q01
q10
q21
q20

5. Explique cinco características de la Máquina de Mealy y encuentre cinco diferencias

con las Máquinas de Moore.

Características:

 Es una máquina de estados finitos.

 Las salidas están determinadas por el estado actual y la entrada.
 En el diagrama de estados se incluye una señal de salida para cada arista de
transición.
 Para cada máquina de Mealy hay una máquina de Moore equivalente y
viceversa.
 Las máquinas de Mealy suministran un modelo matemático rudimentario para
las máquinas de cifrado.