Assertion: turing machine | /r/HasProperty | m α
Facets:
Source sentences:
text: Similarly, our construction associates to every binary string α, a Turing machine M α .