Trabajo Colaborativo 3 - Autómatas y Lenguajes Formales

Noviembre
de 2017
Fase 4 - Debatir y desarrollar los
ejercicios planteados sobre Máquinas
de Turing
301405_11
Universidad Nacional Abierta y a Distancia
Noviembre de 2017
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405
Fase 4 - Debatir y desarrollar los ejercicios planteados sobre Máquinas de

Turing
Víctor Julio Martínez Barrios – Cód. 1 067 093 036
Víctor Manuel Alzate – Cód. 94 388 645
Luis Miguel Suarez
Jorge David Sanchez Hernandez – Cód. 98 657 480
Tutor
Helena Clara Isabel Aleman
Escuela de Ciencias Básicas, Tecnología e Ingeniería
Autómatas y Lenguajes Formales
2017
1
Tabla de contenido
Introducción ............................................................................................................. 3
Ejercicio 1 ................................................................................................................ 4
Desarrollo ............................................................................................................ 4
Ejercicio 2 .............................................................................................................. 10
Desarrollo .......................................................................................................... 11
Ejercicio 3 .............................................................................................................. 15
Desarrollo .......................................................................................................... 16
Referencias bibliográficas ..................................................................................... 18
2
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.
En el mismo se abordan las temáticas de la tercera unidad del curso denominada

“Lenguajes estructurados por frases” a través del desarrollo de ejercicios
relacionados a máquinas de Turing, Moore y Mealy entre otros.
3
Ejercicio 1
Diseñe una MT que se comporte como reconocedor que su lenguaje sea

{𝑎, 𝑏} 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
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:
4
𝑄 = {𝑞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
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:
5
Se parte del estado inicial y la cabeza L/E se ubica en el primer símbolo

de la cadena de entrada:
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:
6
Esta misma operación se repite hasta encontrar el símbolo de vacío:
7
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:
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.
8
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:
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.
9
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
𝑞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).
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.
10
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)

Cadena valida
11
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
La máquina lee el siguiente símbolo de entrada “1”, queda igual 1 y regresa

al estado 𝑞0
12
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
13
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
 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
14
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).
15
Desarrollo
1. Determine cuál fue el dato de entrada. (Complete la tabla)
2. Realice el diagrama de estados para ese dato de entrada.
16
3. Identifique en el diagrama de Trellis la ruta correcta (identificando

salidas codificadas)
4. Realice el diagrama de Viterbi corrigiendo el dato (ruta correcta).
17
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/
18

Trabajo Colaborativo 3 - Autómatas y Lenguajes Formales

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Trabajo Colaborativo 3 - Autómatas y Lenguajes Formales

Cargado por

Copyright:

Formatos disponibles

Noviembre

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

Víctor Julio Martínez Barrios – Cód. 1 067 093 036

Víctor Manuel Alzate – Cód. 94 388 645

Luis Miguel Suarez

Jorge David Sanchez Hernandez – Cód. 98 657 480

Helena Clara Isabel Aleman

Universidad Nacional Abierta y a Distancia

Escuela de Ciencias Básicas, Tecnología e Ingeniería

Autómatas y Lenguajes Formales

Referencias bibliográficas ..................................................................................... 18

El presente informe se construye como evidencia del desarrollo del trabajo

En el mismo se abordan las temáticas de la tercera unidad del curso denominada

Diseñe una MT que se comporte como reconocedor que su lenguaje sea

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

Diseño de la máquina: Se requiere de una máquina que lea una

3. Recorra la máquina con al menos una cadena válida explicando lo

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

Se lee el símbolo a y se pasa al estado 𝑞1 en la rama superior, se

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

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

Al ser el último símbolo una a igual al primer símbolo de la palabra se re

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

Teniendo en cuenta la siguiente tabla de transición de una máquina de Mealy,

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

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

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

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

Vuelve a leer el siguiente símbolo de entrada que es “1”, se cambia al

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

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

 Características de la Máquina de Mealy

 Diferencias con las máquinas de Moore

Máquina de Mealy Máquina de Moore

Desarrolle el siguiente ejercicio: Asuma que hubo error en el dato recibido en el

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

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

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

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

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

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

También podría gustarte