AUTOMATAS Y LENGUAJES FORMALES

Momento 3

Presentado por:
CRISTIAN DAVID CASTELLAR MARTINEZ C.C. 1068820149
JISSELL ORTIZ C.C. 1068817149
LORAINE RANGEL ZULETA C.C. 1068820794

Grupo:
301405_47

Tutor
JAIME JOSE VALDES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
MAYO 2016
 EJERCICIO 1
Actividades a desarrollar:

Diseñe Una MT que se comporte como reconocedor que reconozca el lenguaje

𝐿 = {𝑎𝑛 𝑏 𝑛 ; 𝑛 ≥ 1} (NO incluye o NO acepta la cadena λ). El alfabeto de la cinta es
debe ser diferente al alfabeto de entrada. Es decir, el alfabeto de entrada es “a” y el
de la cinta “1 ” con sus respectivos símbolos blanco si es que los necesita en su
diseño.

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

Esta máquina de turing M estará conformada por una séptupla M = (Q, Σ, Γ, δ, qs,
□, F), Donde encontramos que:

Q -> es el conjunto de estados, en el autómata propuesto los estados son: q0,

q1, q2, q3, q4
Σ -> es el alfabeto de entrada, en nuestro autómata son el Σ ={a, b, 1, 2, □ }
Γ -> es el conjunto finito de símbolos en el alfabeto de la cinta, en nuestro
automa son: (a,1,2 .
δ -> es la función de transición S es Q * Γn → subconjunto de Q * Γn * {L, R}n
□ -> es el símbolo en blanco o vacío.
qs -> (pertenece a Q) el estado inicial, en nuestro autómata es Q0
F -> (pertenece a Q) es el estado final, siendo Q4 el estado final.
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.

Cadena a explicar: ab

Lectura 1: El autómata al leer el primer símbolo “a”, escribe en la cinta el símbolo

“1” y el cabezal se mueve hacia la derecha, y pasa al estado q2. los resultados
aparecen al pie de la imagen.

DATOS:

Cinta:1b
Estado: q2
Movimiento del cabezal: R

Lectura 2: El autómata al leer el segundo símbolo “b”, escribe en la cinta el

símbolo “Y” y el cabezal se mueve hacia la izquierda, y pasa al estado q1. los
resultados aparecen al pie de la imagen.

DATOS:

Cinta:1Y
Estado: q1
Movimiento del cabezal: L
Lectura 3: El autómata al leer el símbolo “1”, que ya está escrito en la cinta,
escribe en la cinta de nuevo el símbolo “1” y el cabezal se mueve hacia la
derecha, y pasa al estado q0. los resultados aparecen al pie de la imagen.

DATOS:

Cinta:1Y
Estado: q0
Movimiento del cabezal: R

Lectura 4: El autómata al leer el símbolo “Y”, que ya está escrito en la cinta,

escribe en la cinta de nuevo el símbolo “Y” y el cabezal se mueve hacia la
derecha, y pasa al estado q3. los resultados aparecen al pie de la imagen.

DATOS:

Cinta:1Y
Estado: q3
Movimiento del cabezal: R
Lectura 5: El autómata lee el símbolo “□”, que está en la cinta, deja de nuevo el
símbolo “□” y el cabezal se mueve hacia la derecha, y pasa al estado q4. los
resultados aparecen al pie de la imagen.

DATOS:

Cinta:1Y
Estado: q4
Movimiento del cabezal: R

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

La cadena no valida a evaluar es: 1a

La cadena expuesta anteriormente no es válida porque, esta Máquina de Turing,

solo da como aceptadas las cadenas que cumplan con el lenguaje 𝐿 = {𝑎𝑛 𝑏 𝑛 ; 𝑛 ≥
1}, explicando mejor la cadena debe empezar con el simbolo “a”, y no con el simbolo
“1”, como esta en la cadena no valida que estamos evaluando.
5. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco
símbolos.
6. Identifique en que momento la máquina se detiene

Nuestra maquina se detiene, ya cuando se ha recorrido la cinta de izquierda a

derecha, cambiando todos los valores, o sea cambia el símbolo “a” por el símbolo
“1” y el símbolo “b” por el símbolo “Y”. La máquina de Turing termina el proceso
y da como aceptada la cadena cuando el cabezal de la cinta se ubica sobre el
segundo símbolo blanco, llegando así al estado final (q4)

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

Lo que se diseño fue una Maquina de Turing (MT), esta se diseñó solamente
para recibir cadenas que cumplan con el lenguaje 𝐿 = {𝑎𝑛 𝑏𝑛 ; 𝑛 ≥ 1}, o sea que
por cada símbolo “a” recibido, las transduce en la cinta a símbolo “1”, y el símbolo
“b” lo trasduce a símbolo “2”, cabe aclarar que tanto el símbolo “a” y el símbolo “b”
debe estar un número igual de veces y el primer símbolo en la cadena siempre debe
ser “a”.

Las Maquinas Universales de Turing (MUT) no están hechas para realizar tareas
de cálculo específicos, sino que estas tienen la capacidad de procesar múltiples
algoritmos.

8. Mencione y justifique las semejanzas y diferencias entre una Máquina de

Turing reconocedora y una Maquina de Turing Transductora

Estas dos máquinas se diferencian debido a que:

Máquina de Turing reconocedora: Estas máquinas tienen la capacidad de

reconocer y de aceptar un lenguaje L, si reconoce un Lenguaje L, la maquina
llega al estado final y se detendrá.

Máquina de Turing Transductora: Tiene la capacidad de cambiar el contenido

de la cinta, haciendo sustituciones, es característico de esta máquina que, si la
entrada está bien planteada, esta debe terminar en un estado final, de no ser así
la maquina no lo hará.
En cuanto a las semejanzas entre las 2 MT serian:

- Ambas llegan a un estado final, siempre y cuando la cadena sea aceptada.

- Las maquinas tienen cinta infinita para ambos lados
- Las 2 máquinas las podemos representar en una tabla de transición.

EJERCICIO 2.

Actividades a desarrollar:

Dada la siguiente máquina de Mealy, M= ({a, b}, {1, 2}, { q0, q1, q2}, T,S).

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

𝑀𝑎𝑞 = (𝑄, 𝐈, 𝐎, δ, β, Q0)

Tenemos la siguiente descripción para la Maquina de Mealy que es una séxtupla de
la forma 𝑄, 𝐈, 𝐎, δ, β, Q0 en donde:
K = {q0, q1, q2 } es el conjunto de estados
∑ = En el autómata se refieren al alfabeto de entrada en este caso son los símbolos
{a,b} es el donde (el símbolo blanco) Ц  

O= Es el alfabeto de salida {1,2}

S0 = {q0} es el estado inicial
δ= Función de transición, la cual está dada por 𝑄 𝑥 𝐈 → 𝑄
β= Función de Salida 𝑄 𝑥 𝑰 → 𝑂
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 a recorrer: bab

Paso 1: Lee el símbolo

“b” y se acciona la
transición que va desde
Q0 a Q2 y se forma como
salida el símbolo “2”.
 Paso 2: Ahora lee el
siguiente símbolo, o sea
la “a” y se acciona la
transición que va de Q2 a
Q0 ya al suceder esto se
forma como salida el
símbolo “2”.

Paso 3: se Lee el tercer símbolo “b”,

se acciona la transición que va de Q0
a Q2, ya al suceder esto se forma
como salida el símbolo “2”, aceptado la
cadena.

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

Al pasar la cadena no valida “bq”, el autómata no la acepta ya que esta cadena tiene
un símbolo “q”, que no corresponde al alfabeto de entrada. Para que esta cadena el
autómata la pueda aceptar, solo debe tener cadenas compuestas por los símbolos
“a” o “b”.

5. Ejecute el RunTest a una cadena aceptada que tenga la menos tres símbolos
La cadena a leer por RunTest es “aaab”, en el cual podemos observar que los tres
primeros símbolos “a”, en nuestro autómata pasan por la transición con símbolo
“a”, que va de Q0 a Q0 (o sea pasa por la misma transición que está en el estado
q0), y ya después se lee el símbolo “b”, entonces se activa la transición que va
de Q0 a Q2 y da como salida el símbolo “2”. En la imagen esta de forma gráfica.

6. Identifique en que momento la máquina se detiene

.

Podemos apreciar que la maquina se detiene en el estado q2, porque ya termino de

leer la cadena. Aquí podemos evidenciar que en las máquinas de Mealy cualquier
estado puede actuar como estado aceptador o final.

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

diferencias con las Máquinas de Turing (MT).

• Características Maquina de Mealy

Pueden ser transductores: Porque por una cadena aceptada puede dar como
resultado en su salida una cadena específica.

Estado final: En las máquinas de Mealy cualquier estado puede catalogarse como
final.
 Solo un estado a la vez: estas máquinas solo pueden estar en un estado a la vez
y a ese estado en que la maquina se encuentre en el momento se llama estado
actual.

Estados finitos: Estas máquinas poseen un número finito de estados.

Son circuitos sincronismos: los cuales están sincronizados por una señal de reloj
es decir en cada uno de los cambios en los niveles lógicos son simultáneos

• Diferencias:

Máquina de Mealy Máquina de Turing

Tienen pocos estados
Tienen diversos estados finales
hace que el historial de señales de entrada
determine, para cada instante, un estado
para la máquina,
Tienen una memoria limitada.
La salida depende del estado actual y de
las entradas.
Tienen diversos estados con un
movimiento muy complejo
tienen solamente un estado final
Procesa cadenas de entrada (w)
colocadas Sobre una cinta infinita en
ambas direcciones.
Tienen un número finito de información,
pero que puede ser incrementada en un
modo controlado.
En la salida, suprime el símbolo en el que
se localiza su cabezal y lo rescribe.

TERCER EJERCICIO:

1. Realice la conversión paso a paso de la máquina de Mealy del ejercicio del punto
2 a la máquina de Moore equivalente. Se debe realizar la explicación de cada
paso que se realice.

1. Máquina de Mealy ejercicio punto 2.

2. Diagrama de Moore equivalente

Al evaluar estos dos autómatas, podemos observar que son equivalentes porque
al pasar la cadena “baaabbba”, en las 2 máquinas podemos evidenciar que los
2 autómatas aceptan la cadena y además los dos dan la misma salida
(22112121).

Estos son los pasos para desarrollar la conversión:

Paso A: Lo primero que se hizo fue dividir el estado q0 de la máquina de Mealy,
en el diagrama de Moore en 2 estados; el primer estado es q0 donde se dejó
como salida el símbolo λ, con el fin de que no escriba salidas al inicio y el otro
estado es el q1, el cual tiene como símbolo de entrada la “a” y en la salida el
símbolo “1”.
Conduciéndonos ahora al estado q0 en la máquina de Moore, este estado tiene
como entrada una transición con el símbolo “a” que apunta al estado q2. Esta es
una semejanza de la máquina de Mealy anterior.

MAQUINA DE MEALY DIAGRAMA DE MOORE

Paso B: Si en esta oportunidad pasamos al estado q2, en el diagrama de moore,

se puede evidenciar que este tiene una transición con el símbolo “a”, que apunta
hacia el estado q3 y este estado posee como salida el símbolo “2”, ya situado en
este estado, se instaura otra transición con el símbolo “b”, la cual se asocia con
el estado q2 y este estado tiene como salida el símbolo “2”.

Si pasamos al estado q3, igualmente se le elaboro otra transición con el símbolo

“a”, la cual apunta al estado q1, ya en este estado podemos observar que tiene
una salida de “1”, y además posee una transición con símbolo “b” que se dirige
hacia q2. Se exhibe gráficamente esta equivalencia para una mejor comprensión

MAQUINA DE MEALY DIAGRAMA DE MOORE

Si observamos ahora el estado q4, en el diagrama de Moore en el que estamos

haciendo la equivalencia, podemos notar que hay 2 transiciones, la primera
transición tiene el símbolo “b”, que se extiende hacia el estado q5, y ya ubicados
en este estado, se puede contemplar que posee una salida de “2”, y la segunda
tiene un símbolo “a”, la cual se orienta hacia el estado q1 y este estado posee
una salida de “1”.
Si nos situamos en el estado q5, podemos percibir que ese tiene 2 transiciones,
una transición con el símbolo “b”, que apunta hacia sí mismo (q5), y la otra con
símbolo “a” que se orienta hacia el estado q1.

Ya ubicándonos en el estado q5 observamos que tiene 2 transiciones una con

símbolo “b”, que se dirige hacia el mismo estado q5 y otra con símbolo “a” que
va hacia q1. Se exhibe gráficamente esta equivalencia para una mejor
comprensión.

MAQUINA DE MEALY DIAGRAMA DE MOORE

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

𝑀𝑀𝑜 = {Σ𝑒 , Σ𝑠 , 𝑄, 𝑓, 𝑔}

Σ𝑒 : Esto significa el alfabeto de entrada (a, b)

Σ𝑠 : Hacemos mención a el alfabeto de salida (λ, 1,2).
𝑄: Hacemos mención al conjunto de estados (q0, q1, q2, q3, 4, q5)
𝑓: Hacemos mención a la función de transición, donde Q x Σ𝑒 → 𝑄
𝑔: Hacemos mención Función de Salida, donde Q → x Σ𝑠
3. Diséñela en un Diagrama de Moore.
4. 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 ESTADO EXPLICACION CINTA EVIDENCIA

aba Q0 Arranca la lectura λ
de la cadena

ba Q1 Se activa la 1
transición que va
q0 a q1 al leer el
símbolo que está
a inicio de la
cadena (“a”) y
escribe en la cinta
el símbolo “1”.
a Q2 Se lee el siguiente 12
símbolo “b” y Se
activa la transición
que va de q1 a q2
y escribe en la
cinta el símbolo
“2”.
λ Q3 Se lee el siguiente 122
símbolo “b” y Se
activa la transición
que va de q1 a q2
y escribe en la
cinta el símbolo
“2”, aceptando la
cadena
5. Identifique una cadena que no sea válida y justifíquela por qué.
La cadena compuesta por los símbolos “222” no es válida, porque el símbolo “2”, no
está en el alfabeto de entrada de este autómata. Este diagrama esta exclusivamente
creado para aceptar cadenas constituidas por “a” o por “b” o los dos símbolos
combinados.

6. Ejecute el RunTest a una cadena aceptada que tenga la menos cinco

símbolos
Se le elaboro el RunTest a la cadena “aaaab”, como se puede distinguir en los
pantallazos, esta cadena está combinada por símbolos “a” y “b”, y nuestro autómata
acepta esta cadena porque se realizó este autómata para que aceptara
exclusivamente estos 2 símbolos en cualquier orden,

Observando la salida, podemos demostrar que están los símbolos “11112”, los
cuales son el resultado del trayecto de la cadena leída.

7. Identifique en que momento la máquina se detiene

Se puede analizar que la maquina se detiene cuando se finaliza la lectura de la

cadena “aaaab”, se detiene en el estado q2 y no puede continuar ya que no hay
más símbolos para leer.