Finite State Machines Flashcards
1
Q
What is state?
A
Whatever data the machine needs, derived from
earlier input signals, to determine the effects of
subsequent input signals
2
Q
What are the benefits of formality in an FSM? (3)
A
- Describe what should/shouldn’t happen
- Independent of any particular implementation
- Verify implementations against model