<- previous index next ->
Here, we start with the state diagram:
From this we see the states Q = {
Off, Starting forward, Running forward,
Starting reverse, Running reverse }
The alphabet (inputs) Sigma = {
off request,
forward request,
reverse request,
time-out }
The initial state would be Off.
The final state would be Off.
The state transition table, Delta,
is obvious yet very wordy.
Note: that upon entering a state,
additional actions may be specified.
Inputs could be from buttons, yet
could come from a computer.
<- previous index next ->