You are on page 1of 9

Fase 4 - Debatir y desarrollar los ejercicios planteados sobre Máquinas de

Turing

Presentado por:

Javier Alexander Anaya Moreno - Cód. 80188959

Oscar Delgado –Cód.

Grupo: 301405_14

Presentado a:

CESAR JIMENEZ

Universidad Nacional Abierta Y A Distancia - UNAD

Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI

Autómatas y Lenguajes Formales

Bogotá, D. C., noviembre de 2018


DESARROLLO DE LA ACTIVIDAD

Teniendo en cuenta la siguiente tabla de transición de una máquina de Mealy, realice:


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

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


Los componentes de la máquina de Mealy 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

Diséñela en diagrama (Máquina de Mealy).

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


tanto en la cinta como en la secuencia de entrada.
A continuación, observaremos el recorrido paso a paso de la cadena 1001001011 en
donde probaremos que nuestra maquina la aceptara como válida. En la siguiente
imagen nos encontramos con nuestro maquina en estado inicial, eso quiere decir sin
haber recibido el primer carácter de la cadena.

Al ingresar nuestro primer símbolo del alfabeto en el estado q0 el cual es 1, la Maquina


valida la información y da un símbolo del alfabeto de salida que para este caso es 0,
el cual se ve reflejado en la cinta de transición y nos quedamos en el mismo estado
q0, como lo indica la transición.

Al ingresar nuestro símbolo 0, la maquina vuelve a validar la condición y en esta


ocasión nos trasladamos al estado q1 y nos genera una respuesta de salida con el
símbolo 1, el cual se ve reflejado en la cinta de transición.
Seguimos ingresando más símbolos de nuestra cadena, ahora se ingresa
nuevamente otro 0 el cual nos permite pasar al estado q3 y con un símbolo de salida
1; el cual se almacena en la cinta de validación.

Seguidamente se ingresa el símbolo 1 el cual es validado y nos desplazamos al


estado q1 como lo indica la transición y nos genera un símbolo de salida de 1.

Ingresamos otro 0 de nuestra cadena a validar y esto nos permite retornar al estado
q3 tal cual como lo indica el proceso de transición de nuestro diagrama, retornando
un valor de salida de 1 el cual se observa en la cinta
Luego a nuestra maquina ingresamos un nuevo símbolo el cual es 0, aquí pasamos
del estado q3 al estado q2 según nuestro proceso de transición; así mismo, nos genera
un símbolo de salida de 0.

Estando en el estado q2 nuestra maquina detecta un nuevo símbolo de entrada el cual


es 1, por lo tanto, al ser validado y siguiendo las reglas de nuestras transiciones nos
quedamos nuevamente en el mismo estado actual, pero con el símbolo de entrada se
genera un símbolo de salida que es 1.
Para pasar del estado q2 al estado q1 como lo indica la transición, la maquina recibe
como símbolo de entrada el 0 y este a su vez generaría un símbolo de salida de 0.

Al ingresar el símbolo 1 de nuestro alfabeto de entrada, la maquina se desplaza al


estado q0, generando un símbolo de salida de 1; el cual cómo podemos evidenciar se
almacena en la cinta y de esta manera se nos está generando otra cadena y esto se
debe a que por cada símbolo de entrada él nos da un símbolo de salida diferente o
igual al de entrada.
Por último, cuando la máquina de Mealy detecta que ha ingresado el ultimo 1 de la
cadena a validar, esta genera un carácter de salida el cual es 0 y al no existir más
caracteres la cadena se valida y es aceptada; quedando en la cinta la siguiente
cadena de salida 0110101010.

Realice la conversión paso a paso de máquina de Mealy a máquina de


Moore.

Se coge la tabla inicial de la máquina de Mealy que es la siguiente:


1.Entrada
f 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
Se unifica en una sola tabla las entradas, estados y salidas:
0 1
E S S S
q0 q1 1 q0 0
q1 q3 1 q0 1
q2 q1 0 q2 1
q3 q2 0 q1 1

Se genera la nueva tabla de estados de acuerdo con los estados y la salida quedando
de la siguiente manera:

Estados
q00
q01
q10
q11
q20
q21
q31

Se genera la nueva tabla de transición, con apoyo de la tabla inicial:


0 1
Estados Estado Salida Estado Salida
Final Final
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 q20 0 q21 1
q31 q20 0 q11 1

De acuerdo a la nueva tabla se genera el nuevo diseño de la máquina de Moore


Explique cinco características de la Máquina de Mealy y encuentre cinco
diferencias con las Máquinas de Moore.
Máquina de Mealy Maquina d Moore
La salida depende tanto de la La salida solo depende de la situación
situación actual y entrada actual
La máquina de Mealy ejecuta más Necesita más lógica para decodificar
rápido a las entradas las salidas
La salida cambia en los extremos de El cambio de entrada causa cambio en
reloj la salida debido a la lógica
Presenta menos estados que la Presenta más estados que la máquina
máquina de Moore de Mealy
Las salidas son función del estado y Las salidas son función únicamente del
de las entradas estado
Presenta un circuito sumador Presenta un sumador serial

You might also like