Laboratorio #1:
Autómatas finitos y lenguajes
regulares con JFLAP
Rogerio Orlando Beltrán Castro
Teoría de los Autómatas y Lenguajes Formales
Enunciado
• Se os facilitará el diagrama de un autómata finito. Las tareas que tendréis
que realizar con JFLAP (para descargar este programa lee lo indicado en
Recursos Externos del tema) serán las siguientes:
Enunciado
1. Encontrar la expresión regular y una gramática para el lenguaje
reconocido por el autómata.
2. Hacer una lista de cinco palabras que sean aceptadas por el
autómata y otras cinco que sean rechazadas por el autómata.
3. Describir informalmente el lenguaje.
Laboratorio
1. Realizar el diagrama en JFlap
Laboratorio
2. Seleccionar varias palabras para identificar características
1. Encontrar la expresión regular y una gramática para el lenguaje
reconocido por el autómata.
5. Realizar de definición formal
Definición Formal
• Estados ➔ Q = {q0,q1,q2,q3,q4 y q5}
• Alfabeto ➔ Ʃ = {a,b,c}
• Estado Inicial ➔ q0
• Función de Transición ➔ δ
• Estados Finales ➔ {q0,q1,q3,q4}
Estado a b c
q0 q1 q3 q3
q1 q4 q5 q2
q2 q2 q2 q2
q3 q4 q3 q3
q4 q4 q5 q3
q5 q4 q3 q3
2. Hacer una lista de cinco palabras que sean aceptadas por el
autómata y otras cinco que sean rechazadas por el autómata.
1. Encontrar la expresión regular y una gramática
para el lenguaje reconocido por el autómata.
• 1. Vamos a la opción de JFLAP de convertir a Gramática
1. Encontrar la expresión regular y una gramática
para el lenguaje reconocido por el autómata.
2. Damos clic en Show All para que muestre la gramática
1. Encontrar la expresión regular y una gramática para el lenguaje
reconocido por el autómata.
3. Muestra el análisis realizado
1. Encontrar la expresión regular y una gramática para el lenguaje
reconocido por el autómata.
4. Se exporta la gramática dando clic en Export. La table es la que se guarda
1. Encontrar la expresión regular y una gramática
para el lenguaje reconocido por el autómata.
Vamos a la opción de JFLAP de convertir a RE
1. Encontrar la expresión regular y una gramática
para el lenguaje reconocido por el autómata.
• Solicita Crear un estado final para unificar los estados
1. Encontrar la expresión regular y una gramática
para el lenguaje reconocido por el autómata.
• Dar clic en Do it
1. Encontrar la expresión regular y una gramática
para el lenguaje reconocido por el autómata.
• Construye el autómata con un solo estado final.
1. Encontrar la expresión regular y una gramática
para el lenguaje reconocido por el autómata.
• Dar exportar la expresión regular
1. Encontrar la expresión regular y una gramática
para el lenguaje reconocido por el autómata.
• Muestra la expresión regular
1. Encontrar la expresión regular y una gramática
para el lenguaje reconocido por el autómata.
• λ+a+(b+c)(b+c)*+(aa+(b+c)(b+c)*a)(a+c(b+c)*a)*(λ+c(b+c)*)+(ab+(aa+
(b+c)(b+c)*a)(a+c(b+c)*a)*b)((a+(b+c)(b+c)*a)(a+c(b+c)*a)*b)*((b+c)(
b+c)*+(a+(b+c)(b+c)*a)(a+c(b+c)*a)*(λ+c(b+c)*))
3. Describir informalmente el lenguaje.
• Son todas las palabras que no inician con ac y
que no terminen con ab
muchas gracias
Esta nueva plantilla se ajusta al nuevo logo de la fundación
