¿Puede alguien sugerirme una buena herramienta (posiblemente de código abierto) capaz de tomar un autómata de estado finito (determinista o no determinista) y calcular el autómata óptimo correspondiente?
Sería fantástico si la herramienta pudiera convertir un autómata no determinista a uno determinístico.