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

UNIDAD 3: Fase 4

Estudiantes

Ferney Eduardo Rodríguez

Andrés Leonardo Casallas

Presentado a

Jaime José Valdés

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

Noviembre 2018
Actividad 2:

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

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

Es una 6-tupla: M = (Q, ∑, Γ, q0, δ, β)

Donde:

Q = {q0, q1, q2, q3}

q0 = {q0}

∑ = Entrada {0, 1}

Γ = Salida {0,1}

δ = Función de transición de estados

β = Función de salida

𝑀 = ({0,1}, {0,1}, {𝑞0, 𝑞1, 𝑞2. 𝑞3}, 𝑓, 𝐺)

 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.

Cadena:10001

La máquina lee un 1 en la cinta, se queda en estado q0 y genera el dato de salida 0.

La máquina lee 0 en la cinta, pasa a estado q1 y genera el dato de salida 01.

La máquina lee 0 en la cinta, pasa a estado q3 y genera el dato de salida 011.

La máquina lee 0 en la cinta, pasa a estado q2 y genera el dato de salida 0110.

La máquina lee 1 en la cinta, genera el dato de salida 01101 y entra en estado de aceptación

terminando el recorrido en el estado q2

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

MAQUINA 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

POSIBLES ESTADOS
q0
q11
q00
q31
q01
q10
q21
q20

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 q11 1
FUNCIÓN TRANSICIÓN
f 0 1
q0 q11 q00
q00 q11 q00
q01 q11 q00
q10 q31 q01
q11 q31 q01
q20 q10 q21
q21 q10 q21
q31 q20 q11

FUNCIÓN SALIDA
G 0 1
q0 1 0
q00 1 0
q01 1 0
q10 1 1
q11 1 1
q20 0 1
q21 0 1
q31 0 1

Prueba de equivalencia maquina Mealy y Moore

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

las Máquinas de Moore.

1. En la máquina de Mealy la salida depende del estado actual y de las entradas,

mientras que en la máquina de moore la salida depende solo del estado actual.

2. La máquina de Mealy regularmente tiene menos números de estados mientras

que en la máquina de moore el número de estados es mayor o igual a la máquina

de Mealy.

3. La máquina de Mealy es menos estable y la máquina de moore es más estable.

4. En la máquina de Mealy para probar un circuito, primero se hace el cambio de

la entrada X y después se da el pulso de reloj, por su parte en la máquina de

moore primero se da el pulso de reloj y después se hace el cambio de entrada X.

5. En la máquina de Mealy las salidas se encuentran en la arista y en la de moore

se encuentran dentro del estado.

Actividad 3: Desarrolle el siguiente ejercicio: Asuma que hubo error en el dato recibido en
el par de bits codificados 2, 5 y 8 con distancia de haming.
Teniendo en cuenta que el dato de entrada es: 00110100

1. Realice el diagrama de árbol. (Complete la tabla)

2. Realice el diagrama de estados para ese dato de entrada.
3. Identifique en el diagrama de Trellis la ruta correcta (identificando salidas codificadas).
4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).

TABLA DE DATOS, ESTADOS Y DATOS CODIFICADOS

1. Diagrama de Árbol
Tomando k=1, n=2 y m=3, según eso los estados posibles son
2𝑘(𝑚−1) = 21(3−1) = 22 = 4
Son 4 estados posibles los cuales son 00,01,10,11
Realizando la compilación

| | 0+0=0
0010110 0 0 0 00
| | 0+0=0

| | 0+0=0
001011 0 0 0 00
| | 0+0=0

| | 1+0=1
00101 1 0 0 11
| | 1+0=1

| | 1+0=1
0010 1 1 0 10
| | 1+1=0

| | 0+0=0
001 0 1 0 01
| | 0+1=1

| | 1+1=0
00 1 0 1 01
| | 1+0=1

| | 0+0=0
 0 0 1 0 01
| | 0+1=1

| | 0+1=1
0 0 1 10
| | 0+0=0

8 7 6 5 4 3 2 1
Datos 0 0 1 0 1 1 0 0
Estado 00 01 10 01 11 10 00 00
Presente
Codificado 10 01 01 01 10 11 00 00
Recibido 11 01 01 11 10 11 01 00
2. Diagrama de estados

3. Diagrama de Trelis
4. Diagrama de viterbi
 Bibliografía

Alfonseca C, E., Alfonseca M, M., Mariyón S, R. (2009). Teoría de autómatas y

lenguajes formales. (pp. 7-797). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10498456&ppg=
6
Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y
Autómatas Para Informáticos. Recuperado de
http://bibliotecavirtual.unad.edu.co:2051/login.aspx?direct=true&db=nlebk&AN=318032&
lang=es&site=eds-live&ebv=EB&ppid=pp_Cover

Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1

-124). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?docID=10566114&ppg=
10

Rosenfeld, D. (2016). Computabilidad, Complejidad computacional y verificación

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