Choosing a Language to Represent the Problem
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
S0
S1
S2
Input1
Input2
Output1
Output2
Present
State
Next State after the value
Input1 is applied
Next State after the value
Input2 is applied
Output value(s) after the value
Input1 is applied
Output value(s) after the value
Input2 is applied
Transition