Assertion: machine | /r/CapableOf | scan the leftmost
Facets:
Source sentences:
text: We assume again that the machine starts in state \(q_1\) scanning the leftmost 1 of \(n_1+1\).