Assertion: machine's state | /r/HasProperty | designated in this formulation
Facets:
value: as accepting states
type: OTHER
Source sentences:
text: In this formulation, some states are designated as accepting states and when the machine terminates in one of these states, then the computation is successful, otherwise the computation is unsuccessful and any other machines continue in their search for a successful outcome.