Subido por jorgequintanar

Manual JFlap: Autómatas Finitos y Teoría de la Computación

Anuncio
Manual de JFlap
MINI MANUAL DE JFLAP
OBJETIVOS
Conocer las posibilidades de JFlap como herramienta de demostración de
autómatas.
Familiarización con los autómatas empleando JFlap.
DESCRIPCION Y DESCARGA
JFlap es un programa creado en Java con el propósito de poder crear autómatas finitos
deterministas y no deterministas, además de construir otros tipos como la máquina de Turing,
gramáticas y expresiones regulares.
Puede encontrar JFlap en las siguientes direcciones:
http://www.cs.duke.edu/csed/jflap/jflaptmp/
http://www.apponic.com/free-downloads-194/jflap-7.0/
http://www.downloadplex.com/index.php?a=search&q=jflap descargar/
Entre otras….
JFlap es un programa pre-compilado en Java, por lo que al descargarlo tendremos un único
archivo .jar que podremos ejecutar fácilmente, pero es necesario tener instalada una v ersión
de Java Development Kit (JDK, Virtual Machine). Esta plataforma es de uso libre, los archivos
de actualizaciones o paquetes pequeños no instalan JDK.
1
Ing. Pedro Antonio Villalta
Compiladores e Interpretes
Manual de JFlap
ENTORNO DE JFLAP
Al ejecutar el programa estaremos en la siguiente ventana.
En donde podemos seleccionar el tipo de autómata que vamos a trabajar….En nuestro caso
la primera adopción FiniteAutomaton.Vemos que se crea una nueva ventana para crear el
autómata.
2
Ing. Pedro Antonio Villalta
Compiladores e Interpretes
Manual de JFlap
CREACION DE AUTOMATAS FINITOS (FINITE AUTOMATON)
Para crear un diagrama de moore utilizamos las siguientes opciones:
1. Primero seleccione de la barra de menú la operación a realizar, por ejemplo: Para
crear estados El círculo
.
2. La flecha con punta rellena
es para seleccionar
3. La otra flecha que apunta hacia la derecha
es para indicar las transiciones
4. Y la calavera es para eliminar .
Luego de haber agregado los estados, es el momento de indicar cuál es el estado inicial y
final, para eso debe estar en modo selección, luego clic derecho del Mouse sobre el estado y
observará el siguiente submenú:
Para crear una transición de un estado hacia el mismo, ubíquese en el estado y haga un
doble clic.
•
Para probar el autómata, seleccione StepbyState del menú Input para evaluar carácter
por carácter de la cadena digitada.
•
Digite la cadena:
3
Ing. Pedro Antonio Villalta
Compiladores e Interpretes
Manual de JFlap
Presione Aceptar para analizar la cadena de estado a estado (carácter por carácter).
•
El resultado es la siguiente ventana, donde debe dar clic sobre el botón Step para
ir observando paso a paso la ejecución del autómata.
•
Dicha cadena deberá ser “aceptada” (verde) si se llega al estado final cumpliendo
con las reglas del alfabeto (gramática) definida por el autómata (de estado a
estado). Si un carácter no forma parte del alfabeto del autómata (si no es
reconocido) o no cumple con las reglas entre un estado y otro, entonces la cadena
es “rechazada” (rosado).
•
El autómata puede ser guardado, para ello utilizar el menú File y la opción Save /
Save As.
4
Ing. Pedro Antonio Villalta
Compiladores e Interpretes
Manual de JFlap
Pedro Antonio Villalta Google+
https://plus.google.com/u/0/105223072803758915793/about
Facebook y Twitter
Facebook.com/pavillalta
twitter.com/pavillalta
Correos
[email protected]
[email protected]
Blog Educativos
1.
2.
3.
Comercio electronico (e-commerce)
Compiladores e interpretes
Desarrollo de aplicaciones para dispositivos móviles (development
mobile applications)
4. Ingenieria en sistemas informáticos (systems engineering)
5. Ingenieria web (web engineering)
6. Noticias de tecnología | informática | ciencia (technology news)
7. Programacion visual c++ .net (programming visual c + +. net)
8. Programacion web php, ajax, css, javascrip...(web programming)
9. Programación visual basic .net (programming visual basic)
10. Redes de computadoras (computer network)
11. Investigación Científica
12. Artes Marciales, Tae Kwon Do
5
Ing. Pedro Antonio Villalta
Compiladores e Interpretes
Descargar