Laboratorio 1 1

Controladores Programables Uniminuto

Laboratorio 1. Manejo de Jflap,
autómatas finitos.
Presentado por: Ing. John Muñoz

Universidad uniminuto
Santiago de Cali, valle del cauca.
2015

JFLAP.
JFLAP (del inglés, Java Formal Language and Automata Package) es un software que permite
experimentar de forma gráfica con los conceptos relativos a la teoría de autómatas y
lenguajes formales. Permitediseñar, evaluar y realizar distintas transformaciones y
comprobaciones sobre autómatas finitos, gramáticas, autómatas a pila, máquinas de Turing, y
otros elementos adicionales que no forman parte del contenido de este curso.
Para la realización de estas prácticas se requiere la descargar de la herramienta libre JFLAP de su
sitio web (http://www.jflap.org/). Además es necesario consultar el tutorialon-line de la
herramienta (http://www.jflap.org/tutorial/), o el siguiente libro guía: Susan H. Rodger and
Thomas W. Finley. JFLAP: An Interactive Formal Languages and Automata Package. Jones &
Bartlett Publishers, Sudbury, MA (2006)
Objetivo:
Conocer JFLAP como una herramienta para visualizar lenguajes Regulares.
Resolver los ejercicios propuestos en la guía de Laboratorio y en los videostutoriales.
Desarrollar y/o generar un video tutorial del uso de JFLAP
Trabajo Previo:
Descargar e instalar el Software Asignado por el docente.
Procedimiento:

Autómatas Finitos
Construiremos un autómata determinista en JFLAP, ilustrando algunos métodos de simulación,
etc... Mostraremos la definición estándar de AFD, y JFLAP maneja una definición más general de
un AFD con múltiples transiciones decaracteres.
Un autómata finito simple
Para empezar a construir un AF, pincha en el menú de inicio de JFLAP en el botón Finite
Automaton. Aparecerá una ventana, con un menú, una pestaña que es el Editor, una barra de
herramientas y un área en blanco que ocupará casi toda la ventana.
Crear estados
Un autómata está formado por un conjunto de estados. Antes de crear uno, primero debes
activar el botón
, enla barra de herramientas. Mientras esté seleccionado, el botón
estará sombreado. La zona grande en blanco, llamada canvas, es donde construiremos el
autómata.

Ahora que la herramienta para crear estados está activada, pincha en el canvas para crear
un estado. Aparecerá en la zona donde hayas pinchado. JFLAP los identificará en el orden en el
que se creen como q0, q1, q2...
Definir el estadoinicial y el final
Todos los autómatas requieren un estado inicial y un conjunto de estados finales. Para marcar q0
como el estado inicial, selecciona el botón
y después, con el botón derecho del ratón pincha
en el estado q0. Aparecerá un menú sobre el estado del autómata, en el que escogeremos
Initial. Ahora el estado q0 queda marcado con una flecha que indica que es el inicial. Igualmente,
realiza elmismo procedimiento con q3 pero seleccionando Final en el menú. El estado q3
quedará con un doble círculo.
Para modificar los estados iniciales/finales, se realiza el mismo procedimiento, volviendo a
escoger Initial/Final en el menú, para eliminar la marca de check que habíamos puesto
antes.
Creando transiciones
En el ejemplo, hay 3 transiciones. Para crearlas, pincha en el botón
. Una vezseleccionado,
pincha en el estado q0, y sin soltar el botón, arrastra el cursor del ratón hacia el estado q1 y
después, suéltalo. Un campo de texto aparecerá entre los dos estados. Escribe una ‘b’ y
dale a intro. Una nueva transición b del estado q0 a q1 apareció. De la misma forma, crea el
resto de transiciones para que el autómata quede igual que el de la Figura. Para transiciones λ,
deja el campo detexto en blanco.

Figura: Ejemplo del editor de autómatas finitos.

Para los loops, simplemente pincha sobre el estado en el que quieras hacer el loop y suelta
el ratón. Aparecerá la ventana donde deberás escribir el texto. Si quieres cancelar en algún
momento una transición, o una edición, pulsa escape.
Borrando estados y transiciones
Si te confundes y creas estados o transiciones de más,...