Assertion: machine's head | /r/CapableOf | scan the leftmost
Facets:
Source sentences:
text: We will assume that if the function to be computed requires n arguments, then the Turing machine will start with its head scanning the leftmost ‘1’ of a sequence of n blocks of ‘1’s.