a) Serán estados desde los cuales no haya forma de volver a j, ya que j es transitorio. Es decir ninguno apuntará directamente a j ni a otro estado que pueda llevarnos a j. Entre si pueden tener cualquier tipo de comunicación si cumplen lo anterior.
.
b) No tiene porque ser irreducible. Supongamos que del estado 1 se puede pasar al 2 y 3, y del 2 al 2 y del 3 al 3. El conjunto C1 tendrá dos elementos 2 y 3 y dos clases {2} y {3}
Si que es un conjunto cerrado, una vez se entra en él por un estado k es porque es posible el camino j-->k y a los siguientes estados se puede llegar desde j luego pertenecerán a Cj.
Y eso es todo.