AUTOMATAS Y LENGUAJES FORMALES

Unidad 1: Fase 1 - Debatir y desarrollar los ejercicios planteados sobre lenguajes y

expresiones regulares

Presentado por:
Rosalba Pabón Correa
Cód. 37842323

Grupo:
301405_72

Tutor
Ángela María González

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BÁSICAS, TECNOLOGÍA E INGENIERÍA
INGENIERIA DE SISTEMAS
PRIMER SEMESTRE
2018
 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.

Ejercicio 1: Teniendo en cuenta el autómata realizar paso a paso el procedimiento

de:

1. Hallar la expresión regular

Para hallar la expresión regular se utilizará el método gráfico, en donde primero se

hallan los posibles caminos hacia el estado final:

Como se observa el estado q4 no tiene una transición hacia el estado final q1 por
tanto este estado es desechado, obteniéndose:
Ya con este autómata ahora si se inicia la eliminación de los estados:

Eliminando q2
Eliminando q3

Entonces la expresión regular para este autómata es:

b(ab+ba)*

2. Hallar el lenguaje regular

El lenguaje L = {w ∈ {a, b}| w = cadena que empieza en b y que contiene al menos

una a en su cadena}.

3. Justificar el tipo de autómata que es

Como vemos en el autómata del ejercicio se tiene que en los estados (q0, q2, q3,
q4) cada símbolo produce un solo estado, no presenta ambigüedad en las
transiciones de estado para una entrada dada. Al colocarse en cada uno de los
estados este tiene una ruta determinada para cada símbolo o alfabetos, entonces
se puede identificar que este autómata es de tipo AFD (Autómata Finito
Determinista).
Ejercicio 2:

Realizar la conversión del siguiente autómata, si el autómata es AFD convertirlo a

AFND y si es AFND convertirlo a AFD, Se debe mostrar el procedimiento paso a
paso.

El anterior es un autómata finito no determinista pues contiene estados con dos

transiciones del mismo símbolo hacia dos estados y también contiene transiciones
de cadenas vacías.

Se procede a realizar la conversión a autómata finito determinista:

1. Hallar las clausuras respecto a 𝜀

𝜀 – 𝑐𝑒𝑟𝑟𝑎𝑑𝑢𝑟𝑎 (𝑞0) = {q0 U Ø}

𝜀 – 𝑐𝑒𝑟𝑟𝑎𝑑𝑢𝑟𝑎 (𝑞1) = {q1 U Ø}
𝜀 – 𝑐𝑒𝑟𝑟𝑎𝑑𝑢𝑟𝑎 (𝑞2) = {q1 U Ø}
𝜀 – 𝑐𝑒𝑟𝑟𝑎𝑑𝑢𝑟𝑎 (𝑞3) = {q1 U q2}
 2. Tabla de transiciones AFND – 𝜀
ESTADOS a b 𝛌
Q0 Q1, Q3
#Q1 Q0 Q2
Q2 Q1, Q3
Q3 Q3 Q3 Q2

3. Elaboración nueva tabla de relación de transiciones

a b
A= {Q0} B = {Q1,Q3} U {Q2}
B= {Q1,Q3} U {Q2} C= {Q0,Q1,Q3} U {Q2} D ={Q2,Q3} U {Q2}
C = {Q0,Q1,Q3} U {Q2} C ={Q0,Q1,Q3} U {Q2} E = {Q1,Q2,Q3} U {Q2}
D = {Q2,Q3} U {Q2} B = {Q1,Q3} U {Q2} F = {Q3} U {Q2}
E = {Q1,Q2,Q3} U {Q2} C ={Q0, Q1, Q3} U {Q2} D = {Q2,Q3} U {Q2}
F = {Q3} U {Q2} B = {Q1,Q3} U {Q2} F = {Q3} U {Q2}

4. Se realiza una nueva tabla simplificada para poder dibujar el automata

Estados a b
A Ø B
#B C D
#C C E
D B F
#E C D
F B F

5. Autómata equivalente AFD