Assertion: machine's state | /r/Synonym | a state transition function
Facets:
Source sentences:
text: A function that maps states and inputs to states (which is called a state transition function)