Este programa permite construir, validar y probar interactivamente máquinas de estados finitos de manera gráfica.