Buenas.
La idea es usar la menor cantidad posible de estados, agrupando lo más que se pueda.
Si hay más de una forma de agrupar tal que te quede la mínima cantidad de estados posibles ahí podés elegir la que quieras.
En tu ejemplo tenemos dos opciones válidas para agrupar:
1. A = (q0, q1, q2), B = (q3), C = (q4, q5)
2. A = (q0, q3), B = (q1, q2), C = (q4, q5)
Saludos,
Juan Pedro.
La idea es usar la menor cantidad posible de estados, agrupando lo más que se pueda.
Si hay más de una forma de agrupar tal que te quede la mínima cantidad de estados posibles ahí podés elegir la que quieras.
En tu ejemplo tenemos dos opciones válidas para agrupar:
1. A = (q0, q1, q2), B = (q3), C = (q4, q5)
2. A = (q0, q3), B = (q1, q2), C = (q4, q5)
Saludos,
Juan Pedro.