S ::= while B do L end L ::= S L ::= L ; S S ::= break on B S ::= other |
B è un'espressione booleana. L'istruzione break è
un salto condizionato all'istruzione successiva logicamente
all'istruzione while che più strettamente lo
racchiude. Il terminale other rappresenta tutte le altre
istruzioni.
Se ne dia lo schema per la traduzione ascendente.
|