FASE 4: DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS

SOBRE MÁQUINAS DE TURING

Trabajo escrito acerca de la unidad 2

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA

AUTOMATAS Y LENGUAJES FORMALES
BOGOTÁ D.C.
 FASE 4: DEBATIR Y DESARROLLAR LOS EJERCICIOS PLANTEADOS
SOBRE MÁQUINAS DE TURING

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

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.
4. Identifique una cadena que no sea válida y justifíquela por qué.
5. Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.

Desarrollo
1. Identifique los componentes de la Máquina de Turing (descríbala).
Una máquina de Turing es una séptupla M = (Γ, ∑, •, Q, q0, f, F) donde:
1. Γ es el alfabeto de símbolos de la cinta.
2. ∑ < Γ es el alfabeto de símbolos de entrada.
3. • ɛ Γ es el símbolo blanco que no pertenece a ∑.
4. Q es un conjunto finito de estados.
5. q0 ɛ Q es el estado inicial.
6. F ≤ Q es el conjunto de estados finales.
7. f es una función de transición parcial.
f: Q x Γ → Q x Γ x {L, R}
Se define una máquina de Turing sobre el alfabeto, donde a representa el símbolo
blanco. La máquina comenzará el proceso situada sobre un símbolo “b” de una
serie.
La máquina de Turing copiará el número de símbolos “a” que encuentre hasta el
primer blanco detrás de dicho símbolo blanco. Es decir, posiciona el cabezal sobre
el a situado en el extremo izquierdo, doblará el número de símbolos a, con una b en
medio.
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.
De acuerdo al diagrama de Moore cumple con la cadena válida.
 La secuencia de entrada es aaaabbaa
Paso del estado q0, q1, q3, q5
0 Q0 a
1 Q1 aaabbaa
2 Q2 􊻇
3 Q3 a

4. Identifique una cadena que no sea válida y justifíquela por qué.

Input Result
Aaa Accept
Bbb Accept
Aba Accept
Bab Accept
Reject

Esta cadena Vacía no la puede leer ya que no hay ninguna transición en el

que pueda pasar de un estado a otro con una cadena vacía desde el inicio

5. Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.

Máquina de Turing porque se genera en estados inicial y final. El diseño
corresponde a la Máquina de Touring, debido a que está diseñado para realizar un
cálculo específico y procesa cualquier información.
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).

La Máquina de Mealy está definida por una 6-tupla 𝑀𝑀𝑒 = (𝑄, S, G, 𝑞0, 𝛿, 𝜏)
Donde

 Q= es un conjunto finito de estados

 q s = (es miembro de Q) es el estado inicia

 Γ=es el alfabeto finito de salida

 δ es la función de transición, δ: Q × Σ → Q

 ω= denota la función de salida, ω: Q × Σ → Γ

 Σ= es el alfabeto de entrada finito.

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

FUNCION DE TRANSICION
T 0 1
Q0 Q1 Q0
Q1 Q3 Q0
Q2 Q1 Q2
Q3 Q2 Q1
 FUNCION DE ENTRADA
E 0 1
Q0 1 0
Q1 1 1
Q2 0 1
Q3 0 0

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.

La máquina se posiciona en el estado inicial q0, y analiza el primer símbolo de

entrada “1”, se cambia el símbolo 1 a 0 y pasa al estado q0
La máquina lee el siguiente símbolo de entrada 1, se cambia al símbolo 0 y pasa a
q1

La máquina lee el siguiente símbolo de entrada 0, se cambia al símbolo 1 y pasa a

q3.
La máquina lee el siguiente símbolo de entrada 0, se cambia al símbolo 0 y pasa a
q2.

La máquina lee el siguiente símbolo de entrada 0, se cambia al símbolo 0 y pasa a

q2. Nuevamente Lee el símbolo 1 y se queda en q2 y cambia el símbolo a 1.
Luego la máquina lee símbolo 0 y pasa a q1, su símbolo cambia a 0

Ese era el último símbolo de entrada, entonces se termina la cadena y es aceptada.

La cadena ingresada fue 100010, y la cadena de salida es 0011010.

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

Moore

Máquina de Mealy

Máquina de Moore

Se valida la equivalencia de las dos máquinas ingresándoles la misma cadena y

obteniendo el mismo resultado.
 Función de
transición Función salida
T 0 1 S 0 1
Q0 Q11 Q11 Q0 1 0
Q00 Q11 Q11 Q00 1 0
Q01 Q11 Q11 Q01 1 0
Q10 Q31 Q31 Q10 1 1
Q11 Q31 Q31 Q11 1 1
Q20 Q10 Q10 Q20 0 1
Q21 Q10 Q10 Q21 0 1
Q31 Q20 Q20 Q31 0 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 MÁQUINAS DE MOORE

Tiene menos estados que una
máquina de Moore
La salida depende de la situación
como de la entrada actual.
La salida cambia en los flancos
de reloj
Máquina de Mealy reaccionan
más rápido a las entradas.
La Máquina de Mealy mapea
transiciones en la máquina a
salidas.
Usualmente posee más estados que una
máquina Mealy
La salida sólo depende de la situación actual
El cambio de entrada puede hacer un
cambio de salida tan pronto como se hace la
lógica.
Se necesita más lógica para descodificar las
salidas porque cuenta con más retrasos de
circuito.
El diagrama de estados para las máquinas
Moore tendrá una señal de salida para cada
estado
EJERCICIO 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.
1. Determine cuál fue el dato de entrada. (Complete la tabla)
8 7 6 5 4 3 2 1
DATOS 1 1 0 1 0 1 1 1
ESTADO PRESENTE
CODIFICADO
RECIBIDO

m= 1101011

1 1 1

1
Si contamos con dato entrada 1, el dato codificado es 01 y pasa al estado 11

8 7 6 5 4 3 2 1
DATOS 1 1 0 1 0 1 1 1
ESTADO PRESENTE 11
CODIFICADO 01
RECIBIDO

m
m= 110101 1 1 1

Al salir un 1, el dato codificado es 01 y pasa al estado 11.

8 7 6 5 4 3 2 1
DATOS 1 1 0 1 0 1 1 1
ESTADO PRESENTE 11 11
CODIFICADO 01 01
RECIBIDO
m= 11010

1 1 1
Al salir un 1, el dato codificado es 1 y pasa al estado 11.

m
m= 1101 0 1 1
1
n
0

8 7 6 5 4 3 2 1
DATOS 1 1 0 1 0 1 1 1
ESTADO PRESENTE 11 11 11
CODIFICADO 01 01 01
RECIBIDO

Al salir un 1, el dato codificado es 10 y pasa al estado 01.

8 7 6 5 4 3 2 1
DATOS 1 1 0 1 0 1 1 1
ESTADO PRESENTE 01 11 11 11
CODIFICADO 10 01 01 01
RECIBIDO

m
m= 110
1 0 1

0
n
0

Al salir un 1, el dato codificado es 00 y pasa al estado 10.

8 7 6 5 4 3 2 1
DATOS 1 1 0 1 0 1 1 1
ESTADO PRESENTE 10 01 11 11 11
CODIFICADO 00 10 01 01 01
 RECIBIDO

m
m= 11 0 1 0

0
n
1

Al salir un 1, el dato codificado es 01 y pasa al estado 01.

8 7 6 5 4 3 2 1
DATOS 1 1 0 1 0 1 1 1
ESTADO PRESENTE 01 10 01 11 11 11
CODIFICADO 01 00 10 01 01 01
RECIBIDO

m
m= 1 1 0 1

0
n
0

Al salir un 0, el dato codificado es 00 y pasa al estado 10.

8 7 6 5 4 3 2 1
DATOS 1 1 0 1 0 1 1 1
ESTADO PRESENTE 10 01 10 01 11 11 11
CODIFICADO 00 01 00 10 01 01 01
RECIBIDO
m

1 1 0

1
n
0

Al salir un 0, el dato codificado es 10 y pasa al estado 11.

8 7 6 5 4 3 2 1
DATOS 1 1 0 1 0 1 1 1
ESTADO PRESENTE 11 10 01 10 01 11 11 11
CODIFICADO 10 00 01 00 10 01 01 01
RECIBIDO

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

3. Identifique en el diagrama de Trellis la ruta correcta (identificando

salidas codificadas).

Datos de entrada: 11010111

01 01 01 10 00 01 00 10

11 º 01 º 01 º º º º º º º
01 10
01 º º º º 10 º º º º º
01
10 º º º º º 00 º º00 º º
 4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).

01 01 01 10 00 01 00 10
0 0
11 º 01 º 01 º 01 º 01 º 01 º0110 º
01 016 º º
0 10 210 310 3 2 4 510 10
2 5 3 4 0
2 2 0 3 5 4
01 º 10 º 10 º 10 º 10 º 10 º 1001 º1001 10º4 º
01 01 2 01
3 5 4 01 0 5
3 3 3 0 4 0 5
10 º º 00 º 00 º 00 º 00 º 00 º00 º
00 º

5. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).

6. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).

|
 BIBLIOGRAFIA

Quiroga, E. (2011) Modulo técnicas de Autómatas y lenguajes formales.

Bogotá: UNAD.

Brena, R.(2003) Autómatas y lenguajes un enfoque de diseño. Recuperado

de:
http://fcbi.unillanos.edu.co/proyectos/Facultad/php/tutoriales/upload_tutos/Automat
as%20Y%20Lenguajes.pdf

Wikipedia. (2017) Maquina de Turing. Wikipedia. [versión en español],

https://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing

Wikipedia. (2017) Maquinas de Estados. Wikipedia. [versión en español],

https://es.wikipedia.org/wiki/M%C3%A1quina_de_estados

Cueva, J.(2001) Lenguajes Gramáticas y autómatas. Recuperado de:

http://di002.edv.uniovi.es/~cueva/publicaciones/AUTOMATA.pdf

Wikipedia. (2017) Finite-state transducer. Wikipedia. [versión en ingles],

https://en.wikipedia.org/wiki/Finite-state_transducer

Wikipedia. (2017) Máquina de Turing universal. Wikipedia. [versión en

español], https://es.wikipedia.org/wiki/M%C3%A1quina_de_Turing_universal

Wikipedia. (2017) Máquina de Moore. Wikipedia. [versión en español],

https://es.wikipedia.org/wiki/M%C3%A1quina_de_Moore

w3ii.com (2017) Moore y Mealy Máquinas. jacklee8902@gmail.com.

http://www.w3ii.com/es/automata_theory/moore_and_mealy_machines.html