ACTIVIDAD INDIVIDUAL UNIDAD 3 FASE 4

Debatir y desarrollar los ejercicios planteados sobre máquinas de Turing

OSCAR FERNANDO ARISTIZABAL GONZALEZ

CÓDIGO: 10034897
GRUPO: 301405A_471

Presentado a:
LUIS ERNESTO BONILLA ORDUZ
Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
AUTOMATAS Y LENGUAJES FORMALES
Pereira
Mayo de 2018
 CONTENIDO

INTRODUCCIÓN ...................................................................................................... Error! Bookmark not defined.

OBJETIVOS............................................................................................................... Error! Bookmark not defined.
DESARROLLO ACTIVIDAD 1 ................................................................................ Error! Bookmark not defined.
DESARROLLO ACTIVIDAD 2 ................................................................................ Error! Bookmark not defined.
DESARROLLO ACTIVIDAD 3 ................................................................................ Error! Bookmark not defined.
CONCLUSIONES ..................................................................................................... Error! Bookmark not defined.
REFERENCIAS BIBLIOGRÁFICAS ...................................................................... Error! Bookmark not defined.
Ejercicio 2:

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

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
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.

A
continuación, observaremos el
recorrido paso a paso de la cadena 100001 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 0 el cual es validado y nos desplazamos al estado q2 como
lo indica la transición.
Ingresamos otro 0 de nuestra cadena a validar y esto nos permite retornar al estado q1 tal cual
como lo indica el proceso de transición de nuestro diagrama.
Por ultimo 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 100001.
 4. Realice la conversión paso a paso de máquina de Mealy a máquina de Moore

Creamos una tabla para interpretar los estados y las salidas

MAQUINA DE 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 1

Q0 cuando ingres un 0 pasa al estado q1 y la salida es 1, cuando q0 ingresa 1 pasa a

un estado q0 y salida 0.

Ahora pasamos la tabla de estados y salidas de la maqui nade Mely a la maqui nade
Moore.
Creamos una tabla con los posibles estados de la máquina de Mely.
 posibles estados
q0
q11
q00
q31
q01
q10
q21
q20

Ahora creamos la tabla de la máquina de Moore con los posibles estados

Máquina de Moore
0 1
estado salida estado salida
q0 q11 1 q00 0
q11 q31 1 q01 1
q00 q11 1 q00 0
q31 q20 0 q11 1
q01 q11 1 q00 0
q10 q31 1 q01 1
q21 q10 0 q21 1
q20 q10 0 q21 1
Luego creamos las tablas individuales de función de transición y salida:
función de transición
T 0 1
q0 q11 q00
q11 q31 q01
q00 q11 q00
q31 q20 q11
q01 q11 q00
q10 q31 q01
q21 q10 q21
q20 q10 q21

función de salida
G 0 1
q0 1 0
q11 1 1
q00 1 0
q31 0 1
q01 1 0
q10 1 1
q21 0 1
q20 0 1

Ahora creamos el diagrama en jflap:

 Luego creamos la máquina de Moore graficando con jflap con la tabla de transicion
que hemos creado:

Tabla:

Máquina de Moore
0 1
estado salida estado salida
q0 q11 1 q00 0
q11 q31 1 q01 1
q00 q11 1 q00 0
q31 q20 0 q11 1
q01 q11 1 q00 0
q10 q31 1 q01 1
q21 q10 0 q21 1
q20 q10 0 q21 1

Graficamos
 Luego simulamos la cadena de caracteres, hacemos un test con la cadena 100001
y vemos que son equivalentes:

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

diferencias con las Máquinas de Moore

Características de la Maquina de Mealy:

 Es una máquina de estados finita.
 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.
 Diferencias entre las máquinas de Mealy y Moor

Máquina de Mealy Máquina de Moore

La salida depende del estado La salida depende solo del estado actual.
actual y de las entradas.

Por lo regular Tiene menos El número de estados es mayor o igual a

números de estados. la máquina de Mealy.
Es menos estable. Es más estable.

Para probar un circuito, primero se Para probar un circuito, primero se da el

hace el cambio en la entrada X y pulso de reloj y después se hace el cambio
después se da el pulso de reloj. en la entrada X.

Las salidas se encuentran en la Las salidas se encuentran dentro del

arista. estado.