Automatas por el metodo de thompson

Un autómata finito (AF) o máquina de estado finito es un modelo matemático que realiza cómputos en forma automática sobre una entrada para producir una salida.

Este modelo está conformado por un alfabeto, un conjunto de estados y un conjunto de transiciones entre dichos estados. Su funcionamiento se basa en una función de transición, 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 autómata se desplaza de un estado a otro, para finalmente detenerse en un estado final o de aceptación, que representa la salida.

La finalidad de los autómatas finitos es la de reconocer lenguajes regulares, que corresponden a los lenguajes formales más simples según la Jerarquía de Chomsky.

http://es.wikipedia.org/wiki/Aut%C3%B3mata_finito

Este es un programa capaz de desarrollar Automatas Finitos Deterministas por un metodo parecido al de Thompson, Escrito en Javascript con el uso de las librerías jsdraw2d y jscolor.

Como Utilizarlo

Al cargar el archivo html, se tiene una ventana como esta.




Expresion Regular:
Permite escribir una Expresion Regular.

Diagramar:
Genera una diagrama parecido a Thompson a partir de una expresion regular.

Nuevo:
Reinicia la aplicación.

ε:
Permite agregar un epsilon a la cadena.

Ayuda:
Muestra un mensaje con ejemplos de Expresiones Regulares.


Lineas y Relleno:
Permite seleccionar con que colores se diagrama el automata. Por definición, los colores serán negro y blanco.


Definir:
Graba la selección de colores.

DESCARGAR: