dfa algorithms

algoritmos-dfa

https://dfa.laane.xyz/

 Finite State Machine Educational Tools: Implementing Equivalence Testing and State Minimization Algorithms

Proyecto de fin de año 6CCS3PRJ para King's College London
Autor: Sten Arthur Laane
Supervisor: Dr. Agi Kurucz

Acerca de

Este proyecto tiene como objetivo implementar y visualizar tres algoritmos de autómatas finitos utilizados para la minimización de estado (SM) y las pruebas de equivalencia (ET):

• El algoritmo de llenado de tablas (SM, ET)
• El algoritmo n lg n Hopcroft (SM, ET)
• El algoritmo (casi) lineal (ET)

También se implementan variantes de estos algoritmos que producen cadenas testigo para indicar si dos DFA son equivalentes.

Además, el proyecto tiene como objetivo demostrar el peor rendimiento de los algoritmos utilizando conjuntos de datos DFA personalizados. Estos conjuntos de datos se ponen a disposición de los usuarios para que creen sus propios DFA.

Se pueden encontrar más detalles sobre los algoritmos y conjuntos de datos en el informe que acompaña al proyecto, que se encuentra aquí.

Las instrucciones sobre cómo usar la aplicación se pueden encontrar en la página de ayuda.

Desarrollo

Para ejecutar o desarrollar este software localmente, se requiere una instalación local de node.js 14.x.

El software se puede ejecutar de la siguiente manera:

1. Navegar al directorio del proyecto.
2. Instale las dependencias necesarias usando npm install
3. Ejecute el servidor de desarrollo local npm run start
4. Acceda al sitio en http://localhost:3000

Las pruebas se pueden ejecutar usando npm run test

Contribuciones y problemas

Las contribuciones siempre son bienvenidas. Cualquiera puede abrir incidencias y realizar solicitudes en GitHub.

Licencia

Este proyecto está bajo la licencia MIT.