AUTÓMATAS Y LENGUAJES FORMALES

FASE 6 - DEBATIR: GENERAR, DETERMINAR E IMPLEMENTAR SOLUCIONES A LOS

EJERCICIOS PLANTEADOS FORO

OSCAR ANTONIO RÍOS - CÓDIGO: 1085244507

DANNY ALFREDO RODRIGUEZ – CÓDIGO: 12753523

DARWIN DORADO – CODIGO: 87060210

DAVID ROSERO-CODIGO: 87217075

ALBARO JOSE ORDOÑEZ-CÓDIGO:80798779

GRUPO COLABORATIVO: 301405_33

TUTOR: EDGAR ANTONIO CORTES

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD).

ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERA

INGENIERIA DE SISTEMAS

COLOMBIA

2018.
 EJERCICIOS DE LA FASE 6
ACTIVIDAD 1: De cada uno de los siguientes autómatas realizar el procedimiento paso a paso de
hallar la expresión regular, el lenguaje regular y explicar el tipo de autómata que es

1. Ejercicio 1 2. Ejercicio 2

3. Ejercicio 3 4. Ejercicio 4

El diseño solicitado corresponde al diligenciamiento de la siguiente tabla:

EJERCICIO No. 1

Paso a paso para 1. Eliminamos el estado q1, por lo cual haciendo la unión de q0-q0 y
hallar la expresión q0-q1q2 asi

2. Eliminamos q0, para llegar al estado final q2, para lo cual hacemos
concatenación entre el recorrido de q0 a q2 que es 1*(0+01*0) y la
 operación estrella que se observa en el estado q2 que es
(11*(0+01*0))*, quedando la expresión de la siguiente forma:

Expresión regular ER= (11*(0+01*0))* 1*(0+01*0)

Tipo de autómata El autómata es del tipo AFND, debido a que el estado q2, únicamente
tiene una salida con el símbolo 0, pero no tiene salidas con el símbolo 0.

EJERCICIO No. 2

Paso a paso para 1. Realizamos la unión de la transición del estado q0 a q1.

hallar la expresión

2. Eliminamos el estado q0 en dos procesos: el primero de q1 a q0

hay una operación estrella la cual es 0(1+0), el segundo de q2 a q1,
uniendo las transiciones de q2 – q1 y q2-q0, las cuales se
concatenan con la transicion de qo a q1 quedando asi: 1+1(1+0)
 3. Eliminamos q1, para llegar al estado final q2, para lo cual hacemos
concatenación entre el recorrido de q0 a q2 que es (1+1(1+0)*00*
y la operación estrella que se observa en el estado q2 que es
(0(1+0)*00*(1+1(1+0))* quedando la expresión de la siguiente
forma:

Expresión regular ER= (1+1(1+0)*00* (0(1+0)*00*(1+1(1+0))*

Tipo de autómata El autómata es del tipo AFND, debido a que el estado q2, únicamente
tiene una salida con el símbolo 0, pero no tiene salidas con el símbolo 0.

EJERCICIO No. 3

Paso a paso para 1. Realizamos la unión de la transición del estado q0 a q0,

hallar la expresión correspondiente a la estrella.
 2. Eliminamos q0, para llegar al estado final q1, para lo cual hacemos
concatenación entre el recorrido de q0 a q1 que es (1+0)*00* y la
operación estrella que se observa en el estado q1 que es
(0(0+1)*00*)* quedando la expresión de la siguiente forma:

Expresión regular ER= (1+0)*00* (0(0+1)*00*)*

Tipo de autómata El autómata es del tipo AFND, debido a que el estado q1, únicamente
tiene una salida con el símbolo 0, pero no tiene salidas con el símbolo 0.

EJERCICIO No. 4

Paso a paso para 1. Realizamos la unión de la transición del estado q1 a q3.

hallar la expresión
 2. Eliminamos q1 y q2, el primero concatenamos cuyo resultado es
0(1+0) y el segundo de igual forma quedando 10, estos dos
resultados los unimos quedando así:

3. Eliminamos q0 concatenando la estrella de la transacción de q0 a q0

con el resultado de la transacción de q0 a q1 así:

Expresión regular ER= 1*(0(1+0)+10)

Tipo de autómata El autómata es del tipo AFND, debido a que el estado q2, únicamente
tiene una salida con el símbolo 0, y el estado q3 no tiene salida.
Teniendo en cuenta el siguiente autómata realizar los puntos siguientes:

ACTIVIDAD 2: Realizar la conversión de AFD a AFND o de AFND a AFD según corresponda

1. Hacemos la tabla de relación & del AFD de la siguiente manera:

Tabla de Transiciones
0 1
q0 q3 q6
q1 q0 q6
q2 q1 q5
q3 q4,q3 &
q4 & &
q5 q6 q4
q6 & &

2. Luego elaboramos la tabla de la función & del AFND equivalente de la siguiente manera:

Tabla de Transiciones
ANFD
0 1
q0 q3 q6
q3 q3,q4 &
q3,q4 q3,q4 &
q6 & &
 3. Luego construimos la tabla de la función &, con una notación simplificada para poder
graficar.

Tabla de Transiciones
ANFD
0 1
p0 p1 p3
p1 p2 p4
p2 p2 p4
p3 p4 p4

4. Graficamos el diagrama AFD equivalente al AFN inicial y nos queda de la siguiente manera:

5. Comprobamos en JFLAP si las equivalencias de AFD y AFN son iguales.

ACTIVIDAD 3: Realice la minimización paso a paso del autómata finito determinista

𝑋 = {𝑞0 , 𝑞1 , 𝑞2 , 𝑞3 , 𝑞5 }

𝑌 = {𝑞4 , 𝑞6 }

0 1
Q0 X Y
Q1 X Y
 Q2 X X
Q3 Y X
#Q4 - -
Q5 Y Y
#Q6 - -

𝐴 = {𝑞0 , 𝑞1 }

𝐵 = {𝑞2 }

𝐶 = {𝑞3 }

𝐷 = {𝑞4 , 𝑞6 }

𝐸 = {𝑞5 }

0 1 0 1
Q0 C D Q4 - -
Q1 A D Q6 - -

𝐴 = {𝑞0 }

𝐵 = {𝑞1 }

𝐶 = {𝑞2 }

𝐷 = {𝑞3 }

𝐸 = {𝑞4 , 𝑞6 }

𝐹 = {𝑞5 }

0 1 0 1 0 1 0 1
Q0 D E Q1 A E Q2 B F Q3 E D
 0 1 0 1
Q4 - - Q5 E E
Q6 - -

Después de este proceso de minimización obtenemos el siguiente diagrama del autómata:

Sin embargo, notamos que los estados B, C y F pueden ser suprimidos y asó obtener el autómata
minimizado:
ACTIVIDAD 4: Realizar el autómata a Pila de L = {(a+bn)*}

El autómata a Pila nos presenta un lenguaje que acepte el doble de cantidad de b por la cantidad de a
introducida. Se propone un estado para cada secuencia a y b (q0 y q1 respectivamente).

Por cada a leída se coloca una A en la pila, por cada A en la pila se deben leer dos b.

El autómata que se propone es el siguiente:

El cual nos arroja el siguiente resultado:

Ejemplo:

Gráfico

Cadena: aabbbb
- Paso 1:

Pila:

Símbolo de entrada: a

Pila:

- Paso 2:

Símbolo de entrada: a

Pila:

A AA
Paso 3:

Símbolo de entrada: b

Pila:

A A BA

Paso 4:

Simbolo de entrada: b

Pila:

A A BA A

Paso 5:

Símbolo de entrada: b

Pila:

A A BA A B

Paso 6:

Símbolo de entrada: a

Pila:

A A BA A B
ACTIVIDAD 5: Realizar una máquina de turing de autoría propia y realice:

El autómata realiza un encriptado de las palabras formadas por los caracteres X, Y y

Z

a. 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 inicializa en el estado q0 se prepara para la entrada del primer carácter.

Lee la Y escribe una X y se desplaza a la derecha, pasa al estado q2

Lee la Z escribe una Y y se desplaza a la derecha, pasa al estado q3

Lee la X escribe una Z y se desplaza a la derecha, pasa al estado q1

Lee el carácter en blanco al fina de la entrada y pasa al estado final de aceptación q4

b. Identifique una cadena que no sea válida y justifíquela porque

Los símbolos diferentes a X, Y y Z, pues estos son los únicos símbolos del lenguaje
del autómata, tampoco dentro del lenguaje esta incluida la cadena vacía.

c. Ejecute el RunTest a una cadena aceptada que tenga los menos cinco símbolos

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

El autómata termina o s detiene al finalizar los caracteres de la cinta ósea al encontrar

el primer carácter en blanco, después de la secuencia de caracteres válidas.
 REFERENCIAS

 Carrasco, R. C., Calera Rubio, J., & Forcada Zubizarreta, M. L. (2000). Teoriá de
lenguajes, gramáticas y autómatas para informáticos. [Alicante]: Digitalia. Retrieved from
http://bibliotecavirtual.unad.edu.co/login?url=http://search.ebscohost.com/login.aspx?direct
=true&db=nlebk&AN=318032&lang=es&site=eds-live

 Hernández, Rodríguez, Leonardo Alonso. Practique la teoría de autómatas y lenguajes

formales, Ediciones Elizcom, 2010. ProQuest Ebook Central,
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/detail.action?docID=3199845.
 Alfonseca, Cubero, Enrique, et al. Teoría de autómatas y lenguajes formales, McGraw-Hill
España, 2007. ProQuest Ebook Central,
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/detail.action?docID=3195129.

 Rosenfeld, Daniel Ricardo. Computabilidad, complejidad computacional y verificación de

programas, D - Editorial de la Universidad Nacional de La Plata, 2013. ProQuest Ebook
Central,
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/detail.action?docID=4499367.