Assertion: state machine | /r/CapableOf | describe program interactions
Facets:
Source sentences:
text: In practice, however, state machines are used to develop and describe specific device or program interactions.