JFLAPNaci en Rensselaer Polytechnic Institute (RPI) en Nueva York y se desarrollo en la Universidad de Duke con una versin demo

JFLAP (Que es?) Es un paquete de herramientas graficas que pueden ser utilizados como una ayuda en los lenguajes formales y en la teora de Autmatas (rama de la ciencia de la computacin que estudia las maquinas abstractas y los problemas que son capaces de resolver ).

JFLAP (Utilidad)Tiene la capacidad de construir tablas de analizar, arboles de anlisis sintctico de las gramticas, * Ofrece herramientas de anlisis para mostrar las propiedades de las estructuras destacando los estados * Utiliza elementos como ER (Expresiones regulares), DFA (Autmatas finitos Determinsticos), NDFA (Autmatas finitos No Determinsticos), entre otros

JFLAP (Definiciones)Expresin Regular (ER): Es una expresin que describe un conjunto de cadena de caracteres (es una secuencia ordenada de longitud arbitraria (aunque finita) de elementos que pertenecen a un cierto alfabeto. En general, una cadena de caracteres es una sucesin de caracteres (letras, nmeros u otros signos o smbolos).), mostrando solamente el patrn que estas siguen.

ER (Elementos)Cuantificacin Un cuantificador tras un carcter especifica la frecuencia con la que ste puede ocurrir. Los cuantificadores ms comunes son +, ? y *: + El signo ms indica que el carcter al que sigue debe aparecer al menos una vez. Por ejemplo, "ho+la" describe el conjunto infinito hola, hoola, hooola, hoooola, etctera. ? El signo de interrogacin indica que el carcter al que sigue puede aparecer como mucho una vez. Por ejemplo, "ob?scuro" casa con oscuro y obscuro. * El asterisco indica que el carcter que lo precede puede aparecer cero, una, o ms veces. Por ejemplo, "0*42" casa con 42, 042, 0042, 00042, etctera.

ER (Elementos)Alternacin Una barra vertical separa las alternativas. Por ejemplo, "marrn|castao" casa con marrn o castao. Agrupacin Los parntesis pueden usarse para definir el mbito y precedencia de los dems operadores. Por ejemplo, "(p|m)adre" es lo mismo que "padre|madre", y "(des)?amor" casa con amor y con desamor.

JFLAP (Definiciones)Autmata Finito Determinstico (DFA): Es un modelo matemtico de unsistema que recibe una cadena constituida por smbolos del alfabeto y determina si esa cadena pertenece al lenguaje que el autmata reconoce . Su funcionamiento se basa en una funcion de transici, que recibe a partir de un estado inicial una cadena de caracteres pertenecientes al alfabeto (la entrada), y que va leyendo dicha cadena a medida que el autmata se desplaza de un estado a otro, para finalmente detenerse en un estado final o de aceptacin, que representa la salida.

JFLAP (Definiciones)Autmata finito NO Determinstico (NDFA): Este presenta cero, una o mas transiciones por el mismo carcter del alfabeto. Puede o no tener mas de un estado inicial Cuando el autmata ha terminado de leer, y se encuentra en un estado de aceptacin, se dice que el AFND acepta la cadena, de lo contrario se dice que la cadena de caracteres es rechazada. Tanto para un AFND como para un (AFD) se puede aceptar el mismo lenguaje. Por lo tanto, es posible convertir un AFND existente en un AFD para el desarrollo de una mquina tal vez ms simple

CONCLUSIONES Es una herramienta muy practica cuando se trabaja con expresiones regulares complejas en DFA Y DFN. Es un software fcil de manejar y nos brinda opciones con las cuales podemos determinar si la expresin regular se encuentra bien planteada o no Nos permite comprobar los archivos de entrada, siendo as de mayor utilidad para los autmatas.

GRACIASLos invito a ver el video sobre el manejo del JFLAP