Assertion: machine | /r/AtLocation | state
Facets:
value: else
type: MANNER
Source sentences:
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 a is found, the machine moves to state \(q_{i}\) else
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 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\).
text: it moves to state \(q_{j}\).
text: If is found, the machine moves to state \(q_{i}\) else
text: it moves to state \(q_{j}\).