Tengo esta tabla de flujo:
Quiero descubrir todas las razas en esto, y si son razas críticas o no.
Mi solución hasta ahora:
-
x1 = 0, x2 = 1 y estado como c, se necesitan 2 cambios en las variables de estado secundarias, por lo que puede ir a b o d, las cuales son estables, por lo que esta es una carrera crítica .
-
x1 = 1, x2 = 1 y estado como c. Cualquier cambio en cualquiera de las variables causará un ciclo sin fin. ¿Esto también supondría un problema en términos de una carrera?
-
x1 = 1, x2 = 0 y estado como a. Se requieren 2 cambios, pero no es una carrera crítica.
Solo quería confirmar si están bien y si hay alguna otra raza (s), es posible que haya perdido.
Gracias.