LQ1 Flashcards
State
- Condition of a system at a point of time
- Encodes everything about the past
- Indicates system’s reaction
State Machines
Model of systems with discrete dynamics, maps inputs to output at each step
What are guards?
Determines if transition is taken
What are actions?
Specifies the output produced
What are parts of the mathematical FSM model?
state, inputs, outputs, update, initial state
What is receptiveness?
For any input, some transition is enabled; always ready to react to any input
What is determinism
In every state, for all input, exactly 1 transition is enabled.
What are the three types of transitions?
- self-loop/self-transition
- default transition
- stuttering transition
What are self-loops?
Start and ends at the same state
What are default transitions?
Enabled if no non-default is enabled
Stuttering transition
- inputs and outputs are absent
- FSM does not change state
- nothing changes
Non-deterministic FSM
Dependent on environment; two possible updates
FSM Behavior
sequence of non-stuttering steps
FSM Trace
record of input, output, state in a behavior
Computation Tree
graphical representation of all possible traces