- States: A, B, C, D, E, F
- Transitions based on input X and output Z:
- A: (X=0, Z=0) -> C, (X=1, Z=1) -> B
- B: (X=0, Z=1) -> D, (X=1, Z=0) -> A
- C: (X=0, Z=1) -> E, (X=1, Z=0) -> D
- D: (X=0, Z=0) -> F, (X=1, Z=1) -> C
- E: (X=0, Z=0) -> A, (X=1,
Show more…