Assertion: machine | /r/CapableOf | continue in their search
Facets:
value: for a successful outcome
type: PURPOSE
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.