Assertion: machine | /r/CapableOf | mark the configuration
Facets:
value: of the leftmost quintuple
type: OTHER
value: with m}s_{q
type: OTHER
value: of the rightmost
type: OTHER
value: with y
type: OTHER
value: with the configuration \(q_{q
type: OTHER
Source sentences:
text: The machine first marks (1) with y the configuration \(q_{CC,i}S_{CC,j}\) of the rightmost (and so last) complete configuration computed by U in the B part of the tape and (2) with x the configuration \(q_{q,m}S_{q,n}\) of the leftmost quintuple which is not preceded by a marked (with the letter z ) semicolon in the A part of the tape.