Assertion: state machine | /r/HasProperty | a software component
Facets:
Source sentences:
text: An abstract state machine is a software component that defines a finite set of states: