AUTOMATAS Y LENGUAJES FORMALES

FASE 4: APORTE COLABORATIVO

Presentado por:
Carlos Jaramillo Cruz
Cd. 1.082.928.952

Grupo: 301405A_363

Tutor:
EDGAR ANTONIO CORTES

UNIVIRSIDAD NACIONAL ABIERTA Y A DISTANCIA

ESCUELA DE CIENCIAS BSICAS TECNOLOGA E INGENIERA
2017
Ejercicio 1:
Disee una MT que se comporte como reconocedor que su lenguaje sea {a, b} que acepte
cadenas que empiecen y terminen en el mismo smbolo.
1. Identifique los componentes de la Mquina de Turing (descrbala).
Alfabeto de entrada {a, b}
Alfabeto de la cinta {0, 1}
Estados q0, q1, q2, q3.
Estado Inicial q0.
Estado Final q3.
Cadenas que empiezan y terminan en el mismo
Lenguaje aceptado
smbolo.
(q0, a)=(q1, 1, +)
(q0, b)=(q2, 1, +)
(q1, a)=(q1, 1, +)
(q1, b)=(q1, 0, +)
(q1, B)=(q1, B, -)
Funcin de Transicin
(q1, 1)=(q3, 1, +)
(q2, b)=(q2, 1, +)
(q2, a)=(q2, 0, +)
(q2, B)=(q2, B, -)
(q2, 1)=(q3, 1, +)

2. Disela en un Diagrama de Moore.

3. Recorra la mquina con al menos una cadena vlida explicando lo sucedido tanto en la cinta
como en la secuencia de entrada.
Se estudia que ocurre cuando ingresamos la cadena: ababababbbbba

Cuando la palabra que vamos a analizar como en el caso de la imagen en particular empieza
por a, la maquina cambia de estado q1, el cabezal sobrescribe un 1 en la posicin que esta
y se desplaza a la derecha; estando en q1 se inicia con la validacin de la cadena encontrando
los siguientes casos:
a) S en la cadena sigue una b entonces se mantiene el estado, el cabezal sobrescribe un 0
(cero) y se desplaza a la derecha.
b) S la cadena contiene una a el cabezal sobrescribe un 1 y se desplaza a la derecha.
c) S la cadena llega a su fin (Celda vaca) el cabezal no sobrescribe nada y se desplaza a la
izquierda.
d) Y por ltimo si en la cadena se encuentra un 1, la maquina pasa al estado q3 que en este
caso es el estado final y para, aceptando la cadena estudiada.
Cuando la cadena empieza y termina en b ocurre prcticamente lo mismo: la letra b, me
cambia el estado a q2, el cabezal sobrescribe un 1 (uno) y se desplaza a la derecha; en este
estado se evalan todos los smbolos de la cadena y al llegar al final (espacio vaco) se devuelve
y con el 1 (uno) cambia al estado final o de aceptacin q3.
En la siguiente imagen se puede observar el resultado del anlisis de la cadena y que
efectivamente fue aceptada.
4. Identifique una cadena que no sea vlida y justifquela por qu.
Se evaluar que ocurre cuando ingresamos la cadena: abbab

Siguiendo el mismo anlisis expuesto en el punto anterior vemos que la cadena empieza por
a cambiaria al estado q1, en este estado analiza todos los smbolos de la cadena hasta llegar
al fin (espacio vaco) y hay se devuelve y analiza la posicin anterior en la cual vamos a
encontrar un cero y hay la maquina al no tener transiciones para utilizar se detendr en q1
que no es un estado final, por consiguiente, la cadena ser rechazada.
En la siguiente imagen podemos observar el resultado del anlisis de la cadena y que fue
rechazada.

En la siguiente imagen observamos el anlisis de otras cadenas en el simulador:

5. Lo que acaba de disear es una MUT o una MT. Justifique su respuesta.

Este es un diseo de una Mquina de Turing (MT) ya que recibe un alfabeto como entrada y
no otra mquina de Turing como lo dice la definicin de maquina universal de Turing.