Assertion: state machine | /r/HasProperty | represented by a state-transition table
Facets:
Source sentences:
text: The turnstile state machine can be represented by a state-transition table, showing for each possible state, the transitions between them (based upon the inputs given to the machine) and the outputs resulting from each input: