Assertion: machine | /r/HasProperty | symbol
Facets:
Source sentences:
text: If there is a symbol y marked with b , the machine computes \(\textrm{EQUAL}\) on x and y , else, the machine goes to state \(q_j\).
text: If there is no symbol marked a nor b , the machine goes to state \(q_{n}\); if there is a symbol marked a and one marked b and they are the same, the machine goes to state
text: If there is a symbol marked with , the machine computes \(\textrm{EQUAL}\) on and , else, the machine goes to state \(q_j\).
text: If there is no symbol marked nor , the machine goes to state \(q_{n}\); if there is a symbol marked and one marked and they are the same, the machine goes to state \(q_i\), else the machine goes to state \(q_j\).
text: If there is no symbol marked nor , the machine goes to state \(q_{n}\); if there is a symbol marked and one marked and they are the same, the machine goes to state \(q_i\), else the machine goes to state \(q_j\).