Assertion: state machine | /r/HasProperty | represented by directed graph
Facets:
Source sentences:
text: The turnstile state machine can also be represented by a directed graph called a state diagram (above).