Explicacion de Automata Finito Bajo JFlap

Automata finito Deterministico DFA: Es un modelo matematico de un sistema que recibe una cadena constituida por simbolos de un alfabeto y determina si esa cadena pertenece al lenguaje que elautomata reconoce.
Automata Finito No Deterministico NDFA: Es aquel que presenta cero, una o mas transiciones por el mismo carácter del alfabeto. Un autómata finito no determinista también puede o no tenermas de un estado inicial

A continuación se procedera a realizar un ejemplo práctico. Utilizando JFLAP (Gratis).
A continuación se Presenta la Expresion Regular a Utilizar ejemplo:](O+]S)E?
Al utilizar Jflap, es necesario realizar algunas modificaciones en cuanto a la notación de los simbolos. En Jflap se utilizan las siguientes equivalencias

+ Equivale a || equivale a E
OO* Equivale a O+ E|equivale a E?
Y quedara de la siguiente forma en Jflap
](OO*+S)(E+!)

A continuación Procederemos A trabajar en Jflap De una Expresión Regular de unAutómata Finito Deterministico y de un No Deterministico Daremos un Click en la Opcion
Regular Expresion .

En esta ventana se pone la expresión regular


Luego se pasa a convertir en autómata noDeterministico Antes de hacerlo Deterministico


Aquí mostramos nuestro autómata finito Reducida

Para expandir se da click en esta Opcion


Luego damos un click y aparece de esta forma.


Siquieres verlo mas expandible le das click a DO ALL

Y Quedara completamente Expandida



Para verlo Deterministio se le da click en Export

Esto lo Muestra en una ventana CompletamenteDiferente


Luego Se busca el Convert DFA para pasarlo a Deterministico



Aquí se presenta los Dos Autmatas Deterministicos y No Deterministicos



Para verlo mas completo se le da click aComplete






Le da click en Done para luego verlo Minmi utilizando esto





Se vera asi

Cuando presionas un circulo de la pantalla Derecha se presenta la en el lado izquierdo su...