Assertion: machine's input | /r/Causes | each transition
Facets:
Source sentences:
text: An FSM is defined by a list of its states, its initial state, and the inputs that trigger each transition.
text: Each arrow is labeled with the input that triggers that transition.