Assertion: machine | /r/HasProperty | contrasted with so-called choice machines
Facets:
Source sentences:
text: These a-machines are contrasted with the so-called choice machines for which the next state depends on the decision of an external device or operator (Turing 1936–7: 232).