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

Turing

GRUPO
301405_42

TUTOR
HELENA CLARA ISABEL ALEMAN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
NOVIMBRE 2017
 INTRODUCCIÓN

Los autómatas vienen a ser mecanismos formales que realizan derivaciones en gramáticas
formales. El presente trabajo se realiza con el fin de realizar los ejercicios planteados en la
fase 4 aplicando los fundamentos expuestos en el entorno de aprendizaje con la finalidad
de profundizar en los temas
propuestos en la unidad y así evidenciar la enseñanza que nos deja el módulo.
 DESARROLLO ACTIVIDAD COLABORATIVA FASE 4

Ejercicio 1:

Diseñe una MT que se comporte como reconocedor que su lenguaje sea {a,b} que acepte
cadenas que empiecen y terminen en el mismo símbolo.

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

Conjunto Finito de Estados: q0, q1, q2, q3, q4, q5
Alfabeto de Entrada: a, b
Alfabeto de la cinta: a, b, , R, L, S (Incluye el símbolo Blanco)
Estado Inicial: q0
Estado Final:q1

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.
Vamos a ingresar la siguiente cadena valida

aba

Comenzando en el estado inicial q0

Con la primera transición que es “a” llegamos a q2
Con “b” Llegamos a q4
Con “a” nuevamente llegamos a q2

Con el carácter “Blanco” llegamos a q1 que es el estado final de aceptación

4. Identifique una cadena que no sea válida y justifíquela porque.

Vamos a introducir la secuencia NO Valida baa

Comenzamos en q0

Con “b” llegamos a q3

Con “a” Llegamos a q5

Nuevamente con “a” seguimos en q5, cuando aparece el espacio en blanco finaliza el
programa quedando al final en q5 que No es un estado de aceptación
 5. Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.

El diseño corresponde a una maquina Universal de Turing MUT ya que está diseñada para
para procesar cualquier información.
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 0

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

S=conjunto finito de estado {q0,q1,q2,q3}
S0=estado inicial {q0}
∑=alfabeto de entrada {q0, q1, q2, q3}
Λ=alfabeto de salida {0,1}
T=conjunto de transición
tra 0 0
q0 q1 1
q1 q3 1
q2 q1 0
q3 q2 0

R=transición de salida

res 1 1
q0 q0 0
q1 q0 1
q2 q2 1
q3 q1 0

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 valida:00001
Cuando es 0, pasa a q1, con 0 pasa a q3, con 0 pasa a q2, con 0 pasa a q1 y con 1 pasa a q0

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 0

posibles
estados
q0
q11
q00
q31
q10
q01
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 q10 0

función transición función salida

S 0 1
T 0 1
q0 q00 0
q0 q11 1
q00 q00 0
q00 q11 1
q01 q00 0
q01 q11 1
q10 q01 1
q10 q31 1
q11 q01 1
q11 q31 1
 q20 q21 1
q20 q10 0
q21 q21 1
q21 q10 0
q31 q10 0
q31 q20 0

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

diferencias con las Máquinas de Moore.

máquina de mealy
 Una máquina de Mealy es una MEF cuya salida depende del estado actual, así
como la entrada actual.
 Una máquina de Moore puede ser descrita por un 6 tupla
 Las máquinas de Mealy suministran un modelo matemático rudimentario y
eficiente para las máquinas de cifrado
 para cada Máquina de Mealy hay una máquina de Moore equivalente cuyos estados
son la unión de los estados de la máquina de Mealy y el Producto cartesiano de los
estados de la máquina de Mealy y el alfabeto de entrada.
 El nombre "Máquina de Mealy" viene del promotor del concepto: George H.
Mealy, un pionero de las máquinas de estados, quien escribió Un Método para
sintetizar Circuitos Secuenciales

Diferencias de máquina de mealy con máquina de moore

máquina de Mealy Moore máquina

 Salida depende tanto de la
situación y de entrada
actual.
En general, tiene menos
estados que la máquina de
Moore.
La salida cambia en los
flancos de reloj.
Máquina de Mealy
reaccionan más rápido a
las entradas.
Ejercicio 3:
Desarrolle el siguiente ejercicio: Asuma que hubo error en el dato recibido en el par de bits
De salida sólo depende de la situación actual.
Por lo general, tiene más estados que la máquina de
Mealy.
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
descodificar las salidas ya que cuenta con más retrasos
de circuito.
codificados 2, 5 y 8 con distancia de haming.

1. Determine cuál fue el dato de entrada. (Complete la tabla)

2. Realice el diagrama de estados para ese dato de entrada.

Diagrama de estados para la entreda

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

 BIBLIOGRAFÍA

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
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
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
OVA - UNIDAD 3 - Lenguajes Estructurados por Frases
En este recurso digital se brinda información a los estudiantes del contenido temático de la
UNIDAD 3 - Lenguajes Estructurados por Frases con el objetivo de facilitar el
reconocimiento de los diferentes elementos que se deben tener en cuenta para el
cumplimiento de los objetivos cognitivos de la unidad.
CK-12, (2012). Case History: How Math, Science, and Engineering Led to the First Pocket
Radio. [OVI]. Recuperado de: http://www.ck12.org/book/Engineering%3A-An-
Introduction-for-High-School/section/5.2/