Assertion: machine | /r/CapableOf | terminate in one of these states
Facets:
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.