Académique Documents
Professionnel Documents
Culture Documents
http://eafranco.com/docencia/teoriacomputacional/files/books/TeoriaDeA
utomatas%2clenguajesYComputacion-Hopcroft.pdf
Teora de autmatas, lenguajes y computacin
John E. Hopcroft
Rajeev Motwani
Jeffrey D. Ullman
3.1 Describir la utilidad del software.
JFLAP (Java Formal Languages and Automata Package) es un software
educativo interactivo escrito en Java para experimentar con temas en el
rea de ciencias de la computacin de los lenguajes formales y la teora
de autmatas. JFLAP permite crear y simular estructuras, como la
programacin de una mquina de estados finitos, y experimentar con
pruebas, como la conversin de un autmata finito no determinista
(NFA) a un autmata finito determinista (DFA).
Seleccin
Para seleccionar ms de un estado o un bloque a la vez, elija el editor de
atributos, haga clic en el espacio vaco, y arrastrar el ratn. Aparece un
cuadro de lmite y se seleccionan todos los estados y bloques dentro de
la caja, su color azul ahora. Para mover los estados seleccionados como
grupo, haga clic y arrastre cualquiera de ellos. Para anular la seleccin,
haga clic en cualquier otro lugar.
Mover estados
La manipulacin y eliminacin de varios objetos
3.3 Describir la funcionalidad bsica del software.
Uno de los aspectos ms importantes de la visualizacin del software es
una representacin lgica de los diversos componentes, los autmatas
ms de todo. Mientras gramticas, expresiones regulares, etc., pueden
ser ms o menos representados visualmente por texto bastante sencillo,
los autmatas son "mquinas" complejos con los estados y transiciones.
JFLAP utiliza una representacin grfica de la transicin de los
autmatas, en la que los Estados son los vrtices y las transiciones se
dirigen bordes dentro de la grfica Estados poseen nombres, que son
identificadores nicos cada estado se le presenta, pero tambin pueden
tener una etiqueta para ms informacin. Cada transicin se le da una
etiqueta, dependiendo de lo smbolos que utiliza, y que la informacin se
presenta en el borde dirigido. El estado de inicio est representado por
un gran tringulo unido a la izquierda del vrtice, mientras que los
estados finales (que estn presentes en los aceptores, pero no
transductores) se representan con un segundo crculo ms pequeo en
el vrtice.
3.4 Usos en la actualidad.
Uno de los usos principales es utilizar JFLAP durante de conferencias.