Si consideri un linguaggio di istruzioni sui numeri naturali. Le
istruzioni sono esattamente l'assegnazione a una variabile del
predecessore del suo valore, l'assegnazione a una variabile del
successore del suo valore, la ripetizione di un'istruzione un numero
di volte pari al valore di una variabile, la composizione di
istruzioni. Si dia lo schema per la traduzione ascendente
deterministica e generazione del codice intermedio di tale linguaggio.