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