Autómatas Y Lenguajes Formales

Unidad 1 - Lenguajes Regulares y sus máquinas

Fase 2 - Conocer formalismos usados para definir lenguajes formales

Eduard Samboni
Código: 94420601

Grupo 301405_41

Tutora: Ángela María González

Universidad Nacional Abierta y a Distancia

Septiembre 2019
INTRODUCCIÓN.....................................................................................................................................3
OBJETIVOS..............................................................................................................................................4
ACTIVIDAD: 1..........................................................................................................................................5
ACTIVIDAD: 2........................................................................................................................................12
ACTIVIDAD: 3........................................................................................................................................12
Referencias 1.........................................................................................................................................12
Referencias 2.........................................................................................................................................14
Referencias 3.........................................................................................................................................16
CONCLUSIONES...................................................................................................................................17
REFERENCIAS BIBLIOGRÁFICAS...................................................................................................18
INTRODUCCIÓN

En el siguiente informe se trabaja el momento intermedio fase 2 Conocer formalismos usados

para definir lenguajes formales, teniendo en cuenta lo estudiado en la unidad 1 Lenguajes
Regulares y sus máquinas, se presenta el desarrollo de las dos actividades propuestas la primera
que es el desarrollo del ejercicio numero 1 conversión de un autómata finito a expresión regular,
y la segunda Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No
deterministas (AFD a AFND) y viceversa para el ejercicio número 1. Se presenta una tabla con
sus procesos.
OBJETIVOS
1. Desarrollar la conversión de un autómata finito a expsion regular.
2. Realizar el proceso para Conversión de Autómatas Finitos Deterministas a Autómatas
Finitos No deterministas (AFD a AFND).
3. Generar tabla de informes con ejercicios propuestos..
ACTIVIDAD: 1 Expresión regular
https://www.matesfacil.com/automatas-lenguajes/automata-finito-y-su-lenguaje.html

https://www.youtube.com/watch?v=29Qp_AWXFt4

https://www.youtube.com/watch?v=NF47BSorRfU

Conversión de un Autómata Finito a Expresión Regular

Ejercicio 1

EJERCICIO A
TRABAJAR

Caracterizació En este espacio se realiza:

n del autómata - Identificación del Autómata Finito Determinista
o Autómata Finito No Determinista.
R// Es: Autómata Finito Determinista.

- Explicar las características del tipo de

autómata
El AFD se encuentra en q0. Si recibe el número 2,
pasa al estado q2 que es un estado final. Por tanto,
el autómata se para (finaliza el proceso) y acepta
el numero 2 w = 2 de Σ*.
Si por el contrario recibe el número 1, pasa al
estado q1. En este estado hay dos posibilidades:
Si el siguiente número que recibe es 1, pasa al
estado final q2. El autómata se para y acepta la
palabra formada por la concatenación de todos los
símbolos que ha recibido.
Si el siguiente número que recibe es 2, el
autómata se mantiene en el mismo estado.
Entonces inspecciona el siguiente símbolo, lo que
nos lleva al punto anterior o de nuevo a este.
Procedimiento Realice de manera detallada el procedimiento paso
de conversión a paso de la conversión del autómata a expresión
de Autómata regular y según ejemplo revisado.
Finito a - Paso 1: Q0 Q1 Q2 tendríamos la expresión
Expresión
Regular paso a Q0 Q 1Q 2
paso 1 2¿ 1
- Paso 2: Q0 Q1 Q2 tendríamos la expresión
Q0 Q 1Q 2
1¿¿
Paso 3:
Q0 Q2 tendríamos la expresión
Q0 Q 2
2
- Paso 3: Sacar la formula
1 2¿ 1+ 1¿

Autómata Final En este espacio se presenta la expresión

convertido correspondiente al autómata trabajado.
ER=1 2¿ 1+1 ¿

 Lenguaje En el AFD encontramos que el LR para la expresión

regular ER deja calcular los valores de Q0 para Q2 al iniciar
con 1 o con 2 el cual arroja el resultado aceptado
en Q2
ACTIVIDAD: 2 Conversión del autómata
Conversión de Autómatas Finitos Deterministas a Autómatas Finitos No deterministas (AFD a
AFND) y viceversa

Ejercicio 1

EJERCICIO A
TRABAJAR

Caracterizació En este espacio se realiza:

n del autómata - Autómata Finito No Determinista
- Explicar las características del tipo de autómata
1. Tiene 4 estados (q0, q1, q2, q3).
2. Estado Inicial (q0).
3. Estado Final (q2).
4. Alfabeto ∑ ¿{a , b , c }
5. Relaciones tiene 6, en Q0 tiene una relación
hacia el mismo

Procedimiento Realice de manera detallada el procedimiento paso

de conversión a paso de la conversión del autómata según
paso a paso corresponda y según ejemplo revisado.
- Paso 1 Tabla de Transición.
Estado a b c
q0 q0, q1, q2 q2, q3
q1 … q2 …
Q3 … q2 …
q2 … … …

- Paso 2 Procedimiento de transformación.

Estado a b c
q0, q1, q2, q3 q0 q2 q2
q0, q2 q0, q1 q2 q2
q1 … q2 …
 q2 … … …

- Paso 3 Solución

Autómata Final En este espacio se presenta el autómata final

convertido

 Practicar y Apoyándose en el simulador JFlap o VAS ejecutar

verificar lo los dos autómatas, el original y el autómata
aprendido resultado final de la conversión y validar por lo
menos tres cadenas válidas y tres cadenas
rechazadas.

En este espacio agregar las imágenes tomadas del

simulador utilizado.
CONCLUSIONES
REFERENCIAS BIBLIOGRÁFICAS

Carrasco, R., Calera, R., Forcada, M. (2016). Teoría De Lenguajes, Gramáticas Y Autómatas
Para Informáticos. (pp. 127 - 142). Recuperado
dehttp://bibliotecavirtual.unad.edu.co:2051/login.aspx?
direct=true&db=nlebk&AN=318032&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 dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10566114&ppg=10
Alfonseca, C., Alfonseca, M., Mariyón, S. (2009). Teoría de autómatas y lenguajes formales. 
(pp. 71 - 115). Recuperado dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
docID=10498456&ppg=6
Millán, J., Antonio J. (2009). Compiladores y procesadores de lenguajes. (pp. 28-62).
Recuperado dehttp://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
dehttp://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?
ppg=260&docID=10751543&tm=1481476339478
Alemán. H. [Helena]. (2017, Junio 19). Conceptualización de automáta [Archivo de video].
Recuperado de https://www.youtube.com/watch?
v=zMhwYlXAHE4&index=6&list=PLYIk_3YB0nVyiNMAdrCPgiv0EoSHZtNto
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://www.youtube.com/watch?v=29Qp_AWXFt4
González, A. [Ángela]. (2016, mayo 30). Conversión de Autómata Finito No Determinista a
Autómata Finito Determinista con transiciones vacías – Método 1. [Archivo de video].
Recuperado de https://www.youtube.com/watch?v=NF47BSorRfU
González, A. [Ángela]. (2016, junio 6). Conversión de Autómata Finito No Determinista a
Autómata Finito Determinista con transiciones vacías – Método 2. [Archivo de video].
Recuperado de https://www.youtube.com/watch?v=KhgMam0DMmM
González, A. [Ángela]. (2016, junio 6). Conversión de Autómata Finito No Determinista a
Autómata Finito Determinista con transiciones vacías – Ejemplo 2. [Archivo de video].
Recuperado de https://www.youtube.com/watch?v=uLOXjZUTYyc
González, A. [Ángela]. (2018, junio 1). Lenguajes Regulares. [Archivo web]. Recuperado
de http://hdl.handle.net/10596/18315
González, A. [Ángela]. (2017, noviembre 5). Autómatas Finitos. [Archivo de video]. Recuperado
de http://hdl.handle.net/10596/10470
CK-12, (2015). Operations with Sets. [OVA]. Recuperado
de  http://www.ck12.org/probability/Operations-with-Sets/plix/Lets-Roll-the-Dice-
56e1fc1f8e0e0813d4b14128/?referrer=concept_details.
CK-12, (2015). Operations with Sets Practice. [OVA]. Recuperado
de  http://www.ck12.org/probability/Operations-with-Sets/asmtpractice/Operations-with-Sets-
Practice/?referrer=concept_details
Flum, J., Grädel, E., & Wilke, T. (2008). Logic and Automata: History and Perspectives.
Amsterdam: Amsterdam University Press. Retrieved
fromhttp://bibliotecavirtual.unad.edu.co/login?url=https://search-ebscohost-
com.bibliotecavirtual.unad.edu.co/login.aspx?
direct=true&db=nlebk&AN=224164&lang=es&site=ehost-live