Está en la página 1de 19

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
Universidad Nacional Abierta y a Distancia
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

Universidad Nacional Abierta y a Distancia

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

Autómatas y Lenguajes Formales

2017

1
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

𝑄 = {𝑞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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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

7
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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

10
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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)

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

11
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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
Universidad Nacional Abierta y a Distancia
Escuela de Ciencias Básicas, Tecnología e Ingeniería - ECBTI
Autómatas y lenguajes Formales - 301405

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