Haskell
Todos los programas aquí expuestos se distribuyen bajo una licencia GNU LGPL para el código y una licencia Creative Commons Attribution-Share Alike 3.0 Unported para los contenidos multimedia. Puede consultar los términos de la licencia GNU aquí, y los términos de la licencia Creative Commons aquí. De forma adicional, se incluye una copia de dichos terminos en cada uno de los archivos comprimidos aquí disponibles.
Simulador de Automatas Finitos Deterministas
Esta aplicación, probada en WinHugs, permite crear, simular, probar, minimizar y guardar AFDs (autómatas finitos deterministas). Se provée únicamente el código fuente de la aplicación, siendo necesario ejecutarlo a través de un interprete como Hugs, o compilarlo con GHC.
Instrucciones: En el caso de estar ejecutandose con un intérprete, se debe iniciar el módulo AFDmain, y llamar a la función main. A partir de ese momento, hay que seguir las instrucciones en pantalla. Se recomienda mirar la estructura de los autómatas de ejemplo para poder crearlos fuera de la propia aplicación, siendo esta manera más propensa a fallos, pero más rápida.
Descarga: Puede descargar el código fuente y algunos autómatas de ejemplo aquí.