Si abbiano assegnamenti a variabili di somme di variabili. Tali
variabili si suppone siano state dichiarate o variabili semplici di
tipo intero o vettori di interi di determinata ampiezza. Si dia lo
schema per l'analisi discendente deterministica che genera il codice a
tre indirizzi che assegna o la somma di valori interi o la somma di
vettori di interi, a seconda del caso, o segnala errore (se ad esempio
si vuole assegnare a un vettore la somma di variabili semplici).
(Si ricordi che nel linguaggio a tre indirizzi si hanno le istruzioni
var[indice] := var e var:= var[indice] ).