Índice

Apartado JFLAP………………………………………………………………...3
Ejemplos Sencillos……………………………………………………………….4
JFLAP es un paquete de herramientas gráficas que se pueden utilizar como ayuda para aprender los
conceptos básicos de los lenguajes formales y la teoría de autómatas.

JFLAP está destinado a ser utilizado como un suplemento a un curso, junto con un libro de texto para
el curso. JFLAP refuerza los temas aprendidos en el curso.

Los cursos en los que se ha utilizado incluyen lenguajes formales y teoría de autómatas, compiladores,
inteligencia artificial y matemática discreta.

JFLAP permite a los usuarios crear y operar en autómatas, gramáticas, sistemas L y expresiones
regulares; El término estructura se utiliza para referirse a cualquier autómata, gramática, sistema L o
expresión regular. JFLAP ofrece los siguientes grupos principales de operaciones para aplicar a
estructuras:

Explore el lenguaje de las estructuras: JFLAP tiene la capacidad de simular cadenas de entrada en
autómatas no deterministas, construir tablas de análisis y analizar árboles para gramáticas, y generar
expansiones sucesivas de sistemas L. Los autómatas representados en JFLAP son autómatas finitos
(FA), autómatas pushdown (PDA) y máquinas Turing de múltiples cintas. Los algoritmos de análisis
en JFLAP son análisis de fuerza bruta, análisis LL (1) y análisis SLR (1).

Convertir entre estructuras equivalentes: hay disponible una amplia gama de capacidades de
conversión, por ejemplo, expresión regular a FA, FA no determinista a FA determinista (DFA), PDA
a gramática, gramática a PDA, DFA a DFA minimizado, gramática libre de contexto a Chomsky
Normal Formar gramática, y otros.
Análisis misceláneo de estructuras: JFLAP también ofrece algunas herramientas de análisis diversas
para mostrar las propiedades de las estructuras, como resaltar transiciones lambda, resaltar estados no
deterministas y determinar la equivalencia de dos FA.

1. Los autómatas finitos permiten a los usuarios ingresar cadenas de longitud cero o mayor. En
cambio, un instructor puede querer exigir a los estudiantes que ingresen cadenas de longitud
cero o una.
2. Los autómatas pushdown pueden revelar cero o más símbolos de la pila en cada transición. Es
posible que un instructor quiera exigir a los estudiantes que siempre muestren un símbolo.
3. Los movimientos de la máquina de Turing para el cabezal de la cinta son Derecha, Izquierda
y Estancia. Es posible que un instructor quiera exigir a los estudiantes que usen solo Derecha
e Izquierda.

Ejemplo 1:
En este ejemplo exportamos unos de los proyectos de AFD(Autómata Finito Determinista)
desarrollados en JFLAG, en el cual generamos la gramática a partir del diseño del AFD.

otras de las opciones dadas por el software es la de generar el el AFN(Autómata Finito Determinista)
a partir de la gramática dada

Ejemplo 2:

Solo tenemos que ir dentro del menú a la opción Grammar y allí escribimos los diferentes estados,
para luego generar el AFN(Autómata Finito Determinista) .

Ejemplo 3:
Por otro lado existen Otra de las opciones la cual es transformar una expresión regular a AFND, para
posteriormente convertir en un AFN(Autómata Finito Determinista) , si luego queremos lo podemos
utilizar la forma mínima de ese AFN(Autómata Finito Determinista) .

Nos genera el AFND(Autómata Finito NO Determinista)

Luego transformamos el AFND(Autómata Finito NO Determinista) a AFD (Autómata Finito

Determinista)

Una vez conseguido el AFD(Autómata Finito Determinista) ,lo convertimos a su forma mínima
Valoración de JFLAP