Si abbiano assegnamenti di variabile a variabile. Tali variabili si suppone
siano state dichiarate o variabili semplici di tipo intero o array di interi
di una o due dimensioni di determinata ampiezza. Si dia lo schema per l'analisi
discendente deterministica che genera il codice a tre indirizzi che assegna
o variabile a variabile o elemento di array a corrispondente elemento di
array. Un attributo dell'assegnamento segnalerà eventuali errori,
come discrepanza tra le dimensioni e le ampiezze degli array o tentativo
di assegnare un array a una variabile semplice o una variabile semplice
a un array. (Si ricordi che nel linguaggio a tre indirizzi si hanno le
istruzioni var[indice] := var e var := var[indice] ).