hola:
el sistema que mencionás, el del práctico 3, plantea las ecuaciones con las aristas _salientes_, y sirve para calcular la e.r.; las variables quedan a la derecha, como bien escribiste en la fórmula. tu ecuación sería:
X0 = X1b X1| X2a X2que nada que ver con el X0 de la solución..
el sistema planteado en la solución es el que utiliza las transiciones _entrantes_, y sirve para calcular las clases de equivalencia de RM e, indirectamente, la e.r. asociada; las variables, en este caso, quedan a la izquierda, como en la solución. hay un material complementario al respecto para leer.
saludos,
d.-