Súper-receta: Minimizador de autómatas

Me ha llevado tiempo, pero desde que el profesor de Tecnología de los Computadores me dijo que el procedimiento de minimización de autómatas era «recursivo», pues ya me vino la vena de codificar un programa que me hiciese el trabajo automáticamente. Un bonito minimizador de autómatas tipo Mealy o Moore para Linux (aunque espero que se pueda compilar también en Windows y en otros sitemas con un buen compilador de C).

Obtener código fuente aquí.