FASE 2 CONOCER FORMALISMOS USADOS PARA DEFINIR

LENGUAJES FORMALES

WILMER ROMINGUER CORTESGONZALEZ

COD 1070968240

 ROLANDO FABIAN JUNCO

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

FACATATIVA
2020
 EJERCICIOS DE LA FASE 1
De acuerdo al último dígito de su cédula o tarjeta de identidad, identifique el ejercicio
asignado en la siguiente tabla:

Último dígito Ejercicio

de la Cédula o TI
1y9 Ejercicio 1
2y8 Ejercicio 2
3y7 Ejercicio 3
4y6 Ejercicio 4
5y0 Ejercicio 5

ACTIVIDAD 1: Conversión de un Autómata Finito a Expresión Regular

EJERCICIO Ejercicio 4
A
TRABAJAR

Caracterizaci Autómata finito determinista: Es el autómata

ón del finito que tiene todas sus transiciones no vacías y
autómata que por cada símbolo desde un estado de origen
se llega a un único estado destino.

Se dice que A es un autómata finito determinista

(AFD) si y sólo si se satisface en g las siguientes
propiedades:

 Toda transición de g no es vacía

 Desde cualquier estado y con el mismo
terminal solo se va a uno y solo un
estado
 Cada estado cumple una sola condición
que solo puede estar en un único estado
después de leer cualquier secuencia de
entradas
Procedimient - Paso 1: primero se analizan las transiciones
o de y se identifican los estados que se pueden
conversión eliminar. Tomando como estado final el
de Autómata estado en que quedaran resumidos todos
Finito a los demás. Por ejemplo, al analizar el
Expresión autómata en cuestión observamos que el
Regular paso estado final es el q3. Además también
a paso analizamos que para despeje del autómata
el primer estado que se puede eliminar es
q1.

- Paso 2: se procede a eliminar el estado q1

y se agregan los canales o variables al
estado q0. Luego se identifica cual de los
dos estados resultantes es el más fácil de
eliminar y determinamos que es q2.

- Paso 3: así que procedemos a eliminar q2

de manera que quede solo q0 y q3. Y
realizamos el mismo proceso de agregación
de las variables de q2 en q0 al igual que en
el paso anterior.

- Paso 4:ahora procedemos a eliminar q0 de

modo que solo quede q3. Y acá ya
encontramos la expresión regular del
autómata.

Autómata 𝐸𝑅 = 𝑐∗(𝑎 + 𝑏(𝑎 + 𝑏𝑏∗𝑎))

Final
convertido
 Lengua 𝜀 = {𝐴,
𝐵, 𝐶 }
je
regular

ACTIVIDAD 2: Conversión de Autómatas Finitos Deterministas a Autómatas

Finitos No deterministas (AFD a AFND) y viceversa

EJERCICIO Ejercicio 4
A
TRABAJAR

Caracterizaci Autómata Finito No Determinista: Es el autómata

ón del finito que tiene transiciones vacías o que por
autómata cada símbolo desde un estado de origen se llega
a más de un estado destino.

Se dice que A es un autómata finito determinista

(AFND) si y sólo si se satisface en g las siguientes
propiedades:

 Cada combinación (estado, símbolo de

entrada) puede estar en varios estados
de manera simultánea.

Por ejemplo, el estado inicial q0 con símbolo 0

puede ir a los estados q0 o a q2. O el estado final
q1 con símbolo 0 puede ir a los estados q1 o a
q2.

Procedimien - Paso 1: Primero pasamos a realizar una

to de identificación de los estados y los canales que
conversión siguen para determinar que nuevos estados
paso a paso pueden surgir. Por consiguiente, identificamos el
estado inicial y el estado final. Para nuestro
ejemplo el estado inicial es q0 y los finales q1 y
q3. Además, reconocemos
que el alfabeto está compuesto de a,b,c. ahora
con estos datos realizamos una tabla como la
siguiente
 donde determinamos las transiciones de
cada estado.

a b c
Q0 Q1, Q2 Q0
Q1 Q3 Q1
Q3 Q2 Q1
Q2 Q3,q0

- Paso 2: para la transformación nos ubicamos en

el estado inicial y hallaremos que al validar salen
nuevos valores, estos nuevos valores deben
validarse también. Con estos valores realizamos
una nueva tabla.
a b c
Q0 Q1, Q2 Q0
Q1 Q3 Q1
Q2 Q3,q0
Q3 Q2 Q1
Q3,q0 Q2,q1 Q2,q1 Q0
Q2,q1 Q3,q0 Q1

- Paso 3: esta nueva tabla de transición nos

brinda la información necesaria para construir
nuestro nuevo autómata. Así para construir el
autómata tomamos los nuevos estados y
graficamos las transformaciones que estos tienen
indicados en la tabla.

Autómata
Final
convertido
Practicar Validación cadenas en autómata original
y
verificar
lo
aprendid
o

Validación cadenas en autómata convertido

Actividades Colaborativas:

El trabajo se desarrolla demostrando el procedimiento realizado paso a

paso, no se tendrá en cuenta las respuestas o simulaciones en jFlap o
VAS.

Actividad 3:

Teniendo en cuenta el siguiente autómata realice:

1. Describa la forma matemática del autómata,

𝑄 = {𝑞0, 𝑞1, 𝑞3, 𝑞4}

 𝑄0 = 𝐸𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙

∑ = {𝑎, 𝑏}

𝐹 = {𝑞1, 𝑞4}

𝛿 = 𝑓𝑢𝑛𝑐𝑖𝑜𝑛 𝑑𝑒 𝑡𝑟𝑎𝑛𝑠𝑖𝑐𝑖𝑜𝑛

𝑠𝑖 𝛿(𝑞0, 𝑎) = 𝑞4

𝑠𝑖 𝛿(𝑞0, 𝑏) = 𝑞0, 𝑞3

𝑠𝑖 𝛿(𝑞3, 𝑎) = 𝑞4

𝑠𝑖 𝛿(𝑞3, 𝑏) = 𝑞1

𝑠𝑖 𝛿(𝑞1, 𝑎) = 𝑞0

𝑠𝑖 𝛿(𝑞1, 𝑏) = 𝑞4

𝑠𝑖 𝛿(𝑞4, 𝑎) = 𝑞0

𝑠𝑖 𝛿(𝑞4, 𝑏) = 𝑞4

𝐴 = (𝑄, ∑ , 𝛿, 𝑄0, 𝐹)

2. Plasme la tabla de transición.

Entrada a b

Estado
Q0 Q4 Q0,Q3
Q3 Q4 Q1
Q4 Q0
 Q Q Q4
1 1

3. Identifique los elementos (tupla, estado final, inicial, alfabeto,

etc.). Debe explicar y describir cada elemento y la función y
significado en el autómata. Conceptos y definiciones adicionales.

Respuesta:

Identifique los elementos tupla:

𝑄 = {𝑞0, 𝑞1, 𝑞3, 𝑞4} 𝐶𝑜𝑛𝑗𝑢𝑛𝑡𝑜 𝑑𝑒 𝑒𝑠𝑡𝑎𝑑𝑜𝑠 𝑑𝑒𝑙 𝑎𝑢𝑡𝑜𝑚𝑎𝑡𝑎

estado final

𝐹 = { 𝑞1, 𝑞4} 𝐸𝑠𝑡𝑎𝑑𝑜 𝐹𝑖𝑛𝑎𝑙

inicial

𝐼 = { 𝑞0} 𝐸𝑠𝑡𝑎𝑑𝑜 𝑖𝑛𝑖𝑐𝑖𝑎𝑙

Alfabet
o
= {𝑎, 𝑏} 𝐸𝑛𝑡𝑟𝑎𝑑𝑎𝑠 𝑜 𝑣𝑎𝑙𝑜𝑟𝑒𝑠 𝑎𝑐𝑒𝑝𝑡𝑎𝑑𝑜𝑠 𝑝𝑜𝑟 𝑒𝑙
∑ 𝑎𝑢𝑡𝑜𝑚𝑎𝑡𝑎
(𝑎𝑙𝑓𝑎𝑏𝑒𝑡𝑜 𝑑𝑒 𝑙𝑎 𝑚𝑎𝑞𝑢𝑖𝑛𝑎)

𝑠𝑖 𝛿(𝑞0, 𝑎) = 𝑞4
 𝑠𝑖 𝛿(𝑞0, 𝑏) = 𝑞0, 𝑞3

𝑠𝑖 𝛿(𝑞3, 𝑎) = 𝑞4

𝑠𝑖 𝛿(𝑞3, 𝑏) = 𝑞1

𝑠𝑖 𝛿(𝑞1, 𝑎) = 𝑞0

𝑠𝑖 𝛿(𝑞1, 𝑏) = 𝑞4

𝑠𝑖 𝛿(𝑞4, 𝑎) = 𝑞0

𝑠𝑖 𝛿(𝑞4, 𝑏) = 𝑞4

𝐴 = (𝑄, ∑ , 𝛿, 𝑄0, 𝐹)

4. Muestre en el simulador (gráficamente) como recorre una cadena

válida. Explique cada secuencia. (No se trata solo de captura las
imágenes, estas deben ser explicadas en pie de página o de lo
contrario no tienen validez)

Introducimos en el simulador la cadena b,b,a,b y verificamos su

recorrido por nuestro autómata
Ingresa nuestro primer símbolo de la cadena estando en el estado inicial b,
en q0

Ingresa nuestro segundo símbolo en la cadena b, siendo aceptado y

pasando al siguiente estado q3
Evidenciamos que ingresa el símbolo a, el cual se queda en el estado q1, y
posteriormente continuamos con el símbolo b, quien debe continuar a un
estado final q4

Ingresa nuestro siguiente estado en la cadena b, siendo aceptado y

pasando a un estad final q1, pero continua nuestro autómata
Vemos que nuestro autómata llega a un estado final siendo aceptado.
5. Muestre el diagrama de Moore generado en JFLAP y en VAS y
comente tres similitudes y tres diferencias que encuentra al
realizarlo en los dos simuladores. (Ventajas que ofrezca uno u
otro).

JFLAP

VAS
 Similitudes:
 Ambos programas se pueden realizar los diagramas ya que estos
presentan la misma simbología
 Ambos programas se les puede ver el paso a paso de las cadenas
 Los programas presentan las funciones y de tal manera se puede pasar
un autómata finito determinista a un autómata no determinista y al
contrario

Diferencias

 En JFLAP, no se puede ingresar más de 1 vez el mismo símbolo

 En Vas permite mirar la tabla de transición en cambio JFLAP no lo

permite

El editor de JFLAP permite una interacción más amplia al momento del

desarrollo de la actividad, también nos permite ver el resultado de varias
cadenas
 Bibliografía

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y

Autómatas Para Informáticos. (pp. 127 - 142).
Recuperado de http://bibliotecavirtual.unad.edu.co:2051/login.aspx?
direct=true&db=nlebk&AN=31803
2&lang=es&site=edslive&ebv=EB&ppid=pp_Cover

Hernández, R. (2010). Practique la teoría de autómatas y lenguajes formales. (pp. 1

-124). Recuperado

Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes

formales. (pp. 71 - 115). Recuperado de
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&pp g=6
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10566114&pp g=10

Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-62).

Recuperado
de http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/detail.action?docID=10844351

Ferrando, J.C., and Gregori, V. (2012). Matemática discreta (2a. ed.). (pp. 207-232).
Recuperado
De http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=260&docID=107 51543&tm=1481476339478
Alemán. H. [Helena]. (2017, Junio 19). Conceptualización de automáta [Archivo de
video]. Recuperado de https://youtu.be/zMhwYlXAHE4

Alemán. H. [Helena]. (2018, mayo 23). Expresión Regular [Archivo de video].

Recuperado de https://youtu.be/65B5QUNHfaM

González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito No

Determinista a Autómata Finito Determinista [Archivo de video]. Recuperado de
https://youtu.be/29Qp_AWXFt4

González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web].

Recuperado de http://hdl.handle.net/10596/18315