Hola Diego,
Para poder saber si efectivamente eliminaste las carreras, es necesario saber cuál fue la codificación de estados que elegiste. Por ejemplo, si codificás al estado a como 00 y al estado d como 11 vas a tener una carrera cuando estando en el estado estable a pases de tener entradas 01 a tener entradas 11 (notar que en los ejercicios se pide la asignación de las variables de estados).
Respecto al orden, es como dice Facundo en su mensaje, primero se minimizan los estados, luego se asignan las variables de estado de forma tal de asegurar que no se produzcan carreras, y finalmente se eliminan los espurios.
Saludos,
Fiorella
Fiorella