Specifying outputs for a Mealy machine

Output is a function of state and of inputs
- Specify outputs on transition arcs
- Example: Detector for 01 or 10

current next currentreset input state state output

1 – – A 0

0 0 A B 0

0 1 A C 0

0 0 B B 0

0 1 B C 1

0 0 C B 1

0 1 C C 0

Output is a function of state and of inputs