Introducción Al Jflap V1

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 3

Universidad Tecnológica Nacional

Facultad Regional Tucumán SINTAXIS Y SEMÁNTICA


Ing.en Sistemas de Información
DE LOS LENGUAJES

INTRODUCCIÓN AL JFLAP

JFLAP (siglas en inglés de “Paquete interactivo de


Lenguajes Formales y Autómatas hecho en Java”) es un
conjunto de herramientas gráficas que pueden ser utilizadas
como una ayuda en el aprendizaje de los conceptos básicos
de la Teoría de Lenguajes Formales y Autómatas.
Se trata de un software libre (open source) hecho en
lenguaje Java, que surgió alrededor del año 1990 como un
proyecto de estudiantes del Instituto Politécnico de
Rensselaer, en la localidad del mismo nombre del estado de
Nueva York en E.E.U.U., bajo la supervisión de la Dra. en
Ciencias de la Computación SUSAN RODGER. En 1995 el
proyecto JFLAP pasó a la Universidad de Duke en Carolina
del Norte, junto con su gestora.

Al ejecutar esta aplicación ( jflaf.jar ) aparece el Menú Principal que vemos arriba. En él
se puede apreciar todas las opciones que dispone este programa y que abarcan la gran mayoría
de los temas que trata la Informática Teórica o Teoría de la Computación:

• Autómatas Finitos (AF)


• Máquinas Secuenciales (Mealy y Moore)
• Autómatas de Pila (Pushdown)
• Máquinas de Turing
• Gramáticas para estructuras de frases
• Sistemas-L (de Lindenmayer)
• Expresiones Regulares
• Lema de Bombeo para Lenguajes Regulares
• Lema de Bombeo para Lenguajes Libres de Contexto

El submenú FILE permite abrir (Open) un archivo existente de un


autómata o máquina y salir del programa principal (Quit).

El submenú BATCH permite crear


lotes de prueba (Batch Test), permitiendo el análisis de varias
secuencias almacenadas en un archivo, con un conjunto de
autómatas o máquinas del mismo tipo que están guardados en distintos archivos.

El submenú PREFERENCES,
brinda la posibilidad de
personalizar el programa. Se
puede elegir el símbolo que se
usará como palabra vacía (lambda

Página 1 de 3
Universidad Tecnológica Nacional
Facultad Regional Tucumán SINTAXIS Y SEMÁNTICA
Ing.en Sistemas de Información
DE LOS LENGUAJES

o épsilon), fijar la cantidad de acciones que se pueden deshacer y por último particularizar la
Máquina de Turing, permitiendo habilitar transiciones desde estados finales, aceptación por
estados finales o por parada (bloqueo) y permitir el movimiento nulo del cabezal.

EDITOR de Gramáticas
Para la aplicación relativa a las gramáticas, se
dispone de un EDITOR de texto tipo tabla.
El mismo tiene un menú, una barra de herramientas
y una zona de escritura, un campo para la parte izquierda
(LHS: Left Hand Side) y otro para la parte derecha
(RHS: Right Hand Side) de cada regla de la gramática.
Las opciones básicas del menú son: FILE, INPUT,
TEST, CONVERT y HELP.

El submenú FILE permite la manipulación del


modelo y tiene las siguientes opciones:

• New: para crear una gramática nueva. Abre otra


instancia del Menú Principal del JFLAP.
• Open: para abrir una gramática guardada.
• Save: para guardar la gramática actual.
• Save As: para guardar la gramática actual con
otro nombre.
• Save Image As: para guardar una imagen del de
la gramática actual, en distintos formatos.
• Dismiss Tab: Desecha la ficha seleccionada, que
puede ser de un Test, Input o Convert.
• Close: para cerrar la gramática actual y volver al
Menú Principal del JFLAP.
• Print: para imprimir la gramática actual
• Quit: para salir del programa JFLAP.

La opción TEST, nos permite verificar de que tipo es la


gramática según la Jerarquía de Chomsky.

La opción CONVERT nos será de utilidad cuando veamos


la teoría de Autómatas, ya que permite obtener el
modelo correspondiente a la gramática dada.

La poción INPUT , nos permitirá probar la gramática con una secuencia, verificando si la
puede generar. En caso negativo lo indica con un mensaje. En caso afirmativo permite ver

Página 2 de 3
Universidad Tecnológica Nacional
Facultad Regional Tucumán SINTAXIS Y SEMÁNTICA
Ing.en Sistemas de Información
DE LOS LENGUAJES

cómo genera la palabra, mostrando la secuencia de reglas que se deben aplicar a partir del
Axioma; en dos formatos: tabla y árbol.

Página 3 de 3

También podría gustarte