Choosing a Language to Represent the Problem
We need a "language" to represent:
(1) The Present State of the machine
(2) For each possible input value:
(2a) The corresponding output value(s)
(2b) The corresponding Next State
Next State after the value
Next State after the value
Output value(s) after the value
Output value(s) after the value