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