Autómata Finito y Expresiones Regulares

Diseño y prueba de autómatas finitos deterministas, no deterministas, o con transiciones épsilon, se pueden diseñar autómatas mediante una representación tabular permitiendo visualizar la representación gráfica, realizar pruebas de cadenas para validar el correcto funcionamiento de los autómatas, convertir los autómatas de una representación a otra, minimizar un AFD. Además de poder trabajar con Expresiones Regulares (ER) convirtiendo una ER a su autómata finito equivalente o viceversa.

Soporta todos los tipos de representación para un lenguaje regular:

- Autómatas finitos (AF)

- Autómatas finitos deterministas (AFD),

- Autómatas finitos no deterministas (AFN)

- Autómatas finitos no deterministas con transiciones épsilon (AFN- ε)

- Expresiones regulares (ER)

La aplicación es capaz de realizar:

• Diseñar AFD, AFN y AFN- ε desde la representación tabular y visualizar su representación gráfica correspondiente.

• Validar cualquier tipo de error al diseñar un AF.

• Guardar un AF a un archivo con extensión .af que puede ser abierto desde cualquier dispositivo con la aplicación

• Cargar un AF que fue diseñado desde la aplicación sin importar el dispositivo.

• Validar que una ER no contenga errores de sintaxis

• Convertir cualquier ER a un AFN- ε, aplicando el algoritmo de inducción estructural.

• Convertir cualquier AF a una ER, aplicando el algoritmo de eliminación de estados.

• Convertir cualquier AFN a un AFD, aplicando el algoritmo de construcción de subconjuntos.

• Convertir cualquier AFN- ε a un AFD aplicando el algoritmo de construcción de subconjuntos y clausura respecto a épsilon.

• Convertir cualquier AFD a un AFD mínimo aplicando el algoritmo de minimización por conjuntos.

• Permitir introducir grupos de cadenas para evaluar si el autómata diseñado las acepta o rechaza.

Design and testing of deterministic, non-deterministic, finite automatons, or with epsilon transitions, automata can be designed using a tabular representation allowing visualization of the graphic representation, chain tests to validate the proper functioning of the automatons, convert the automatons of a representation to another, minimize an AFD. In addition to being able to work with Regular Expressions (ER) converting an ER to its equivalent finite automaton or vice versa.

It supports all types of representation for a regular language:

- Finite automata (AF)

- Deterministic finite automatons (AFD),

- Finite non-deterministic automatons (AFN)

- Finite non-deterministic automatons with epsilon transitions (AFN- ε)

- Regular expressions (ER)

The application is able to perform:

• Design AFD, AFN and AFN- ε from the tabular representation and visualize their corresponding graphic representation.

• Validate any type of error when designing an AF.

• Save an AF to a file with an .af extension that can be opened from any device with the application

• Load an AF that was designed from the application regardless of the device.

• Validate that an ER does not contain syntax errors

• Convert any ER to an AFN-ε, applying the structural induction algorithm.

• Convert any AF to an ER, applying the state elimination algorithm.

• Convert any AFN to an AFD, applying the subset construction algorithm.

• Convert any AFN- ε to an AFD by applying the subset construction and closing algorithm with respect to epsilon.

• Convert any AFD to a minimum AFD by applying the set minimization algorithm.

• Allow to introduce groups of chains to evaluate if the designed automaton accepts or rejects them.