il cui significato è quello del while tranne che a ogni
iterazione viene eseguita la sequenza di istruzioni L oppure la
sequenza di istruzioni L' a seconda che il valore di una variabile
booleana x sia vero o falso (il valore di x potra' essere modificato
dall'esecuzione delle istruzioni di L o di L').
Si dia lo schema
per l'analisi ascendente deterministica e generazione del codice a tre
indirizzi. Si asssuma di avere già lo schema per B (che calcola
B.T e B.F) e per L (che calcola L.NEXT)
|