Unidad 3: Fase 4 - Debatir y desarrollar los ejercicios planteados

sobre Máquinas de Turing

Nombre del estudiante

Grupo Colaborativo

Tutor

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERA
AUTOMATAS Y LENGUAJES FORMALES
CALI
2018
Actividad 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 de la maquina son:
Q={q 0 , p0 , p1 }

Ent ={0,1 }
Sal={n , s }

Q: Es el conjunto de estados
Q0: Estado inicial
P0: Estado de haber llegado un 0
P1: Estado de haber llegado un 1
Ent: Es el alfabeto de entrada
Sal: Es el alfabeto de salida
tran: Q x Ent ->Q, es la función de transición
res: Q x Ent ->sal, es la función de respuesta
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.
Para realizar la validación de la cadena, se hace el paso a paso en el
JFlap

Como se puede apreciar en el diagrama, cuando se ingresa 1, el

sistema coloca como resultado 0 y se queda en q0.

Seguimos validando la cadena, y esta vez se ingresa un 0 y el

sistema coloca como resultado un 1 y se va para el estado q1.
Nuevamente se ingresa un 0, quedando como resultado un 1 y
quedando en el estado q3.
En la cadena sigue otro 0, el sistema lo cambia por 0 y queda en el
estado q2.

Seguidamente se lee un 1 y el sistema escribe otro 1, quedando en el

mismo estado q2.
Finalmente se lee el último valor de la cadena que es 0, el sistema
coloca como resultado otro 0 y se queda en el estado q1.

Así es como se comporta la máquina de Mealy.

4. Realice la conversión paso a paso de máquina de Mealy a
máquina de Moore
Dado los siguientes datos, se procede a convertir la máquina de
Mealy a una máquina de Moore.

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

Los datos anteriores se organizan en la siguiente tabla.

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

Para crear la Máquina de Moore, se realiza la tabla con los posibles

estados.

El primer estado es q0.

Seguidamente el estado se creará tomando el estado y su salida, por

ejemplo, en q0 hay un estado q1 y salida 1, el estado que se creará
será q11 con salida 1, como se puede observar a continuación con la
creación de los posibles estados para la máquina de Moore.

Posibles
 estados
q0
q11
q00
q31
q01
q10
q21
q20
La máquina de Moore se crea con los nuevos estados.

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

Para saber si se ha creado de forma correcta la conversión, se gráfica

y se valida una cadena para ver la equivalencia.

Vemos que ambos resultados dieron una equivalencia, por lo que el

ejercicio quedó bien planteado.
 5. Explique cinco características de la Máquina de Mealy y
encuentre cinco diferencias con las Máquinas de Moore.
Caracteristicas de Mealy

- La salida depende tanto de la situación y de la entrada actual.

- Tiene menos estados que la máquina de Moore.
- La salida cambia en las manecillas del reloj
- Reaccionan más rápido a las entradas.
- Salida de acuerdo con la transición entre estados.
Mientras que Moore se diferencia a Mealy por:

- La salida solo depende de la situación actual.

- Tiene más estados que la máquina de Mealy.
- El cambio de entrada puede causar un cambio en el cambio de
salida tan pronto como se hace la lógica.
- En las máquinas de Moore, se necesita más lógica para
decodificar las salidas ya que cuenta con más retrasos de
circuito.
- Salida de acuerdo con el estado vigente.
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

 Referencias

Oliveira E. (2017). Autômatos de Saída: Máquina de Mealy e Moore (Exemplos no JFlap).

Recuperado de https://www.youtube.com/watch?v=jAzdWLXlfi0

González, A. [Ángela]. (2018, junio 1). Lenguajes Estructurados por Frases. [Archivo
web]. Recuperado de http://hdl.handle.net/10596/18316

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