Lenguajes Formales y

Automatas
Solución de tareas con la herramienta Jflap
José Daniel Cuadras Ríos
Tarea 4 – Lenguajes formales y autómatas
1. Encontrar el AFD mínimo equivalente a los AFDs cuyos diagramas de transiciones se muestran
en las siguientes figuras:

Con la ayuda de la herramienta Jflap resonvemos

el siguiente problema. Como primer paso,
abrimos una nueva tarea y seleccionamos la
opción de autómata finito.
Tarea 4 – Lenguajes formales y autómatas
1. Encontrar el AFD mínimo equivalente a los AFDs cuyos diagramas de transiciones se muestran
en las siguientes figuras:
Después iniciamos con la construcción del AFD.
Tarea 4 – Lenguajes formales y autómatas
1. Encontrar el AFD mínimo equivalente a los AFDs cuyos diagramas de transiciones se muestran
en las siguientes figuras:
Una vez construido el AFD. Hacemos la reducción
a un AFD mínimo.

Entrando en el menú principal, Convert >

Miniminize DFA.
Tarea 4 – Lenguajes formales y autómatas
1. Encontrar el AFD mínimo equivalente a los AFDs cuyos diagramas de transiciones se muestran
en las siguientes figuras:
Se selecciona la raíz y se completa la acción.
Tarea 4 – Lenguajes formales y autómatas
1. Encontrar el AFD mínimo equivalente a los AFDs cuyos diagramas de transiciones se muestran
en las siguientes figuras:
Presionamos en Finish.
Tarea 4 – Lenguajes formales y autómatas
1. Encontrar el AFD mínimo equivalente a los AFDs cuyos diagramas de transiciones se muestran
en las siguientes figuras:
Presionamos en complete. Y finalmente
obtenemos el nuevo AFD mínimo.
Tarea 4 – Lenguajes formales y autómatas
1. Encontrar el AFD mínimo equivalente a los AFDs cuyos diagramas de transiciones se muestran
en las siguientes figuras:
Como resultado, obtuvimos un AFD con 2 estados
menos.
Tarea 4 – Lenguajes formales y autómatas
1. Encontrar el AFD mínimo equivalente a los AFDs cuyos diagramas de transiciones se muestran
en las siguientes figuras:

Se repite el proceso para los otros dos AFD. En

este inciso b, se puede apreciar que no se pudo
hacer la reducción de estados y por ende,
tampoco en transiciones. Por lo tanto, la figura, es
la mínima expresión del AFD.
Tarea 4 – Lenguajes formales y autómatas
1. Encontrar el AFD mínimo equivalente a los AFDs cuyos diagramas de transiciones se muestran
en las siguientes figuras:
Se repite el proceso para los otros dos AFD. En este inciso
c, podemos ver que se redijo de 7 a 3 estados.
Tarea 4 – Lenguajes formales y autómatas
1. Encontrar el AFD mínimo equivalente a los AFDs cuyos diagramas de transiciones se muestran
en las siguientes figuras:
Se repite el proceso para los otros dos AFD. En este inciso
c, podemos ver que se redijo de 7 a 3 estados.
Tarea 4 – Lenguajes formales y autómatas
2. Determine si los AFDs mostrados en cada inciso son o no equivalentes:

Para darle solución a este problema utilizando Jflap, se necesita abrir

dos pestañas con la opción autómatas finitos.

Se dibujan los dos AFDs.

Tarea 4 – Lenguajes formales y autómatas
2. Determine si los AFDs mostrados en cada inciso son o no equivalentes:

Una vez que ya se tienen se

selecciona la pestaña Test>Comparar
equivalencia y finalmente
seleccionamos la ventana en la que
está creado el AFD que queremos
comparar.
Tarea 4 – Lenguajes formales y autómatas
2. Determine si los AFDs mostrados en cada inciso son o no equivalentes:

Finalmente si los AFDs son

equivalentes o no mostrará una
ventana auxiliar indicando el
resultado. En este inciso a, el
resultado fue que no son
equivalentes.
Tarea 4 – Lenguajes formales y autómatas
2. Determine si los AFDs mostrados en cada inciso son o no equivalentes:

Se repite el proceso para el inciso b.

Tarea 4 – Lenguajes formales y autómatas
2. Determine si los AFDs mostrados en cada inciso son o no equivalentes:

Como resultado se obtiene que no son equivalentes.

Tarea 4 – Lenguajes formales y autómatas
3. Construir i) el AFN que acepte el lenguaje (a U b)*aba y ii) encontrar el AFD mínimo equivalente.

Para este caso, como lo que tenemos es un leguaje, vamos a iniciar por encontrar la gramática. Seleccionamos
la sección de expresión regular para ingresar el lenguaje en forma de expresión regular, y en el menú buscamos
convert to NFA.
Tarea 4 – Lenguajes formales y autómatas
3. Construir i) el AFN que acepte el lenguaje (a U b)*aba y ii) encontrar el AFD mínimo equivalente.

Aplicamos un Do All para que genere el AFN. Una vez generado lo exportamos a una ventana nueva.
Tarea 4 – Lenguajes formales y autómatas
3. Construir i) el AFN que acepte el lenguaje (a U b)*aba y ii) encontrar el AFD mínimo equivalente.

Se reacomoda y se encontró el AFN… Para encontrar un AFD y poder minimizarlo, necesitamos seleccionar
convert to DFA
Tarea 4 – Lenguajes formales y autómatas
3. Construir i) el AFN que acepte el lenguaje (a U b)*aba y ii) encontrar el AFD mínimo equivalente.

Completamos las operaciones y confirmamos que ya se realizó el cambio de AFN a AFD…

Tarea 4 – Lenguajes formales y autómatas
3. Construir i) el AFN que acepte el lenguaje (a U b)*aba y ii) encontrar el AFD mínimo equivalente.

Por ultimo, hacemos lo mismo que en la sección 1 y minimizamos el AFD. El AFD equivalente y mínimo del AFN
queda de la siguiente manera.
Tarea 4 – Lenguajes formales y autómatas
4. Determine si los AFs dados en cada uno de los incisos son o no son equivalentes:

Iniciamos dibujando en Jflap ambos AFs. Al dibujarlos y hacer la comparación nos muestra que no son
equivalentes. Lo cual es correcto, pues uno acepta la cadena b mientras que el otro no.
Tarea 4 – Lenguajes formales y autómatas
4. Determine si los AFs dados en cada uno de los incisos son o no son equivalentes:
Repetimos el proceso para los demás AFs. b) son equivalente.
Tarea 4 – Lenguajes formales y autómatas
4. Determine si los AFs dados en cada uno de los incisos son o no son equivalentes:
Repetimos el proceso para los demás AFs. c) no son equivalente. Uno puede aceptar abab y el otro no
Tarea 4 – Lenguajes formales y autómatas
4. Determine si los AFs dados en cada uno de los incisos son o no son equivalentes:
Repetimos el proceso para los demás AFs. d) son equivalente.
Tarea 4 – Lenguajes formales y autómatas
5. Encontrar el AFD mínimo equivalente a cada uno de los AFNs siguientes:
Básicamente es repetir el procedimiento de las secciones anteriores… Dibujamos el AFN, buscamos
un AFD equivalente si es que existe y una vez obtenido buscamos un mínimo equivalente.
 Tarea 4 – Lenguajes formales y autómatas
5. Encontrar el AFD mínimo equivalente a cada uno de los AFNs siguientes:
Básicamente es repetir el procedimiento de las secciones anteriores… Dibujamos el AFN, buscamos
un AFD equivalente si es que existe y una vez obtenido buscamos un mínimo equivalente.

Al querer minimizar el AFD que se

encuentra hasta la derecha, el programa
Jflap nos arroja uno idéntico, por lo que
se concluye que es el mínimo
equivalente.
 Tarea 4 – Lenguajes formales y autómatas
5. Encontrar el AFD mínimo equivalente a cada uno de los AFNs siguientes:
Básicamente es repetir el procedimiento de las secciones anteriores… Dibujamos el AFN, buscamos
un AFD equivalente si es que existe y una vez obtenido buscamos un mínimo equivalente.

Al querer minimizar el AFD que se

encuentra hasta la derecha, el
programa Jflap nos arroja uno idéntico,
por lo que se concluye que es el
mínimo equivalente.
Tarea 4 – Lenguajes formales y autómatas
6. Dado los AFNs siguientes, encontrar la expresión regular del lenguaje que acepta cada uno.

Para esta sección 6, es posible generar una gramática que genere todo el lenguaje que aceptan dichos AFNs, pero
con Jflap no es posible generar expresiones regulares.
Tarea 5 – Lenguajes formales y autómatas

Para este caso, primero debemos de ingresar la expresión regular.

Y despues generar el AFN. Con el AFN ya se puede generar una
gramática para cada lenguaje mostrado.

Iniciamos con el inciso a

Tarea 5 – Lenguajes formales y autómatas

Obtenemos el AFN y con el obtenemos

nuestra gramática.
Tarea 5 – Lenguajes formales y autómatas

Obtenemos el AFN y con el obtenemos

nuestra gramática.
Tarea 5 – Lenguajes formales y autómatas

La gramática obtenida es con el AFN que nos arroja el Jflap tras

ingresar la expresión regular, pero es posible obtener un AFD y
un AFD mínimo para obtener una gramática mas reducida. A
continuación se muestra la gramática con un AFD mínimo.
Tarea 5 – Lenguajes formales y autómatas

Se repiten los pasos para el inciso b, solo se pondrán

resultados.
Tarea 5 – Lenguajes formales y autómatas

Se repiten los pasos para el inciso c, solo se pondrán

resultados.
Tarea 5 – Lenguajes formales y autómatas

Se repiten los pasos para el inciso d, solo se

pondrán resultados.
Tarea 5 – Lenguajes formales y autómatas

Prácticamente se realizan los mismos pasos que en la sección anterior, se muestran los resultados
para a, b y c respectivamente.
Tarea 5 – Lenguajes formales y autómatas

En este caso, primero se dibuja el AFN y después se genera la gramática…