301405_11

Universidad Nacional Abierta y a Distancia

1-1-2017
 AUTOMATAS Y LENGUAJES FORMALES

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

Máquinas de Turing

Estudiante:

Jonathan Bergaño Carrasco

CESAR JIMENEZ
Tutor

Grupo: 301405_3

Universidad Nacional Abierta Y Distancia

24/11/2018

1
Introducción

El presente informe se construye como evidencia del desarrollo del trabajo

colaborativo de la tercera unidad del curso Autómatas y lenguajes formales de la
universidad nacional abierta y a distancia UNAD.

2
Ejercicio 1
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
Diseño de la máquina: Se requiere de una máquina que lea una cadena de
caracteres conformada por los símbolos a y b y se detenga cuando el primer y último
símbolo sean iguales. Por lo tanto, se construyen dos ramas de estados (una por
cada símbolo del alfabeto) dependiendo del primer símbolo de la cadena de entrada,
se agrega un estado adicional que recorre la cadena de entrada hasta encontrar un
espacio en blanco (final de la cadena), se retorna a la posición anterior para validar
el ultimo carácter leído y se compara con el primero, en caso de ser iguales se va a
un estado final y se acepta la palabra, caso contrario se rechaza.

1. Descripción de la máquina:
Recordemos 𝑀 =< 𝑄, 𝛴, 𝛤, 𝛿, 𝑞0 , 𝐹 >
Tenemos:
𝑄 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 }
𝛴 = {𝑎, 𝑏}
𝛤 = {𝑎, 𝑏, □}
𝑞0 = 𝑞0
𝐹 = {𝑞4 , 𝑞6 }
𝑀𝑇 = ({𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞4 , 𝑞5 , 𝑞6 }, {𝑎, 𝑏}, {𝑎, 𝑏, □}, 𝛿, 𝑞0 , {𝑞4 , 𝑞6 })

2. Diagrama de Moore
3
 A continuación, se muestra la representación gráfica de la Maquina de
Turing diseñada:

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.
Se utiliza la cadena ababbaaba:

Se parte del estado inicial y la cabeza L/E se ubica en el primer símbolo

de la cadena de entrada:

4
Se lee el símbolo a y se pasa al estado 𝑞1 en la rama superior, se avanza
a la derecha de la cinta con la cabeza L/E.

En 𝑞1 se itera la cadena se re escribe el símbolo y se avanza una posición

a la derecha con la cabeza L/E hasta encontrar el símbolo de vacío en la
cinta:

5
Esta misma operación se repite hasta encontrar el símbolo de vacío:

En ese momento se pasa al estado 𝑞3 y se mueve la cabeza L/E una

posición a la izquierda para volver al último símbolo de la cadena y poder
compararlo con el primero:

6
 Al ser el último símbolo una a igual al primer símbolo de la palabra se re
escribe a en la cinta y se pasa al estado final 𝑞4 aceptando la cadena y
deteniéndose de esta forma la máquina de Turing.

4. Cadena no válida
Serán rechazadas por la máquina de Turing, todas aquellas cadenas cuyo
primer símbolo sea diferente al último, por ejemplo: abab
En este caso se observa, que a pesar de ser una cadena compuesta de
los símbolos reconocidos por la máquina de Turing, la misma no cumple
con la regla de que el primer símbolo sea igual al último (𝑎 ≠ 𝑏 ). Se realiza
la prueba ingresando esta cadena en la máquina en el simulador:

7
 5. Lo que acaba de diseñar es una MUT o una MT. Justifique su respuesta.
Se trata de una Máquina de Turing (MT), ya que no está diseñada para
recibir en su entrada la descripción de otra máquina a simular, sino que
se alimenta solo de la información de su propia cinta. El diseño
corresponde a la Máquina de Turing, 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:

f Entrada
Estado 0 1
𝑞0 𝑞1 𝑞0

8
 𝑞1 𝑞3 𝑞0
𝑞2 𝑞1 𝑞2
𝑞3 𝑞2 𝑞1

G Entrada
Estado 0 1
𝑞0 1 0
𝑞1 1 1
𝑞2 0 1
𝑞3 0 0

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

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.
4. Realice la conversión paso a paso de máquina de Mealy a máquina de Moore
5. Explique cinco características de la Máquina de Mealy y encuentre cinco
diferencias con las Máquinas de Moore.

Desarrollo

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

Estados: {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 }
Entrada: {0, 1}
Salida: {0,1}
Estado inicial: {𝑞0 }

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

9
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

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

de entrada “0”, se cambia el símbolo 0 a 1 y pasa al estado 𝑞1

10
La máquina lee el siguiente símbolo de entrada “1”, queda igual 1 y regresa
al estado 𝑞0

11
 Vuelve a leer el siguiente símbolo de entrada que es “1”, se cambia al símbolo
0 y pasa al estado 𝑞1 y finaliza aceptando la cadena ingresada “0110”
resultando como cadena de salida: 1101,

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

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 Máquina de Mealy

a. Es un autómata finito, pero este genera una salida.
b. Se define por una 6-tupla
c. Todos los estados son Finales y solamente uno de ellos es el estado
inicial
d. Tiene menor cantidad de número de estados
e. Es menos estable

12
  Diferencias con las máquinas de Moore

Máquina de Mealy Máquina de Moore

La salida depende del estado actual La salida sólo depende del estado
y las entradas actual.
Por lo regular tienen menos número El número de estados es igual o
de estados mayor al de 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
hace el cambio en la entrada X y el pulso de reloj y después se hace el
después se da el pulso de reloj cambio en la entrada X
Las salidas se encuentran en la Las salidas se encuentran dentro del
arista 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)

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

13
Desarrollo

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

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

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

salidas codificadas)

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

16
Referencias bibliográficas

 Sanchis, A. Ledezma, A. y otros. Teoría de Autómatas y Lenguajes Formales:

Ejercicios de Máquinas de Turing. [Artículo de internet]. Recuperado de
http://ocw.uc3m.es/ingenieria-informatica/teoria-de-automatas-y-lenguajes-
formales/ejercicios/ejercicios-tema-7-maquinas-de-turing/at_download/file

 Quiroga, E. (2008). Módulo: Autómatas y lenguajes formales. Universidad

Nacional Abierta y a Distancia – UNAD. Facultad de ciencias básicas e
ingeniería.

 Aguirre, J. (2012). Equivalencia entre Máquinas de Mealy y Máquinas de

Moore. [Artículo de internet]. Recuperado de https://prezi.com/tcv-
afbxadzs/equivalencia-entre-maquinas-de-mealy-y-maquinas-de-moore/

17