No estoy entendiendo tu pregunta. En el caso que mostras el estado q0 se desdobla en 3 estados. Estados con salidas don't care pueden hacer eso. Mira esta clase:
https://open.fing.edu.uy/courses/dl/14
https://open.fing.edu.uy/courses/dl/14