Assertion: machine | /r/CapableOf | erase the leftmost 1
Facets:
value: of \(n_i\
type: OTHER
Source sentences:
text: If \(N_j = N_i\), the machine erases the leftmost 1 of \(N_i\) (\(q_6\)) and moves back to the leftmost 1 of \(N_i - 1 = n_1 + n_2