Una herramienta para la simulación, la visualización y la transformación de los autómatas de estados finitos y las máquinas de Turing.

Visual Automata Simulator
Gratis
Offline
http://www.cs.usfca.edu/~jbovet/

Crea, simula y transforma máquinas de DFA y NFA
Crea y simula TM
Ensayos para TM: características útiles para probar un montón de archivos de forma rápida
Interfaz de usuario gráfica y fácil de usar (multi-documentos)
Enlaces inteligentes entre objetos
Las máquinas pueden ser atraídos con el ratón y cambiar el tamaño en cualquier momento
Múltiples máquinas se pueden crear en un solo documento
Múltiples documentos se pueden abrir al mismo tiempo
Los documentos se pueden guardar y volver a cargar desde el disco
El modo de depuración para ver exactamente cómo la máquina está funcionando (cada paso tiene un color diferente)