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

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
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
How well did you know this?
1
Not at all
2
3
4
5
Perfectly