A
Hm, mir fällt gerade auf, dass die Zustände Z4-Z6 äquivalent zu Z1-Z3 sind. D.h. Z5 und Z6 kann man wegfallen lassen. Z4 dagegen nicht, da Z1 angenommen wird was bei Z4 nicht der Fall ist. Also wäre die minimal mögliche Anzahl an Zuständen 5?
Dann ergibt sich:
Z0->{Z1|0,Z2|{4,1},Z3|{2,5},Z4|3,Z5|1,Z6|5}
Z1->{Z1|0,Z2|{4,1},Z3|{2,5},Z4|3,Z5|1,Z6|5}
Z2->{Z1|2,Z2|{0,3},Z3|{4,1},Z4|5,Z5|3,Z6|1}
Z3->{Z1|4,Z2|{2,5},Z3|{0,3},Z4|1,Z5|5,Z6|3}
Z4->{Z1|0,Z2|{4,1},Z3|{2,5},Z4|3,Z5|1,Z6|5}