Generazione del Codice

con m,n > 1.

Si vuole uno schema deterministico discendente che generi il codice che
se m > n assegna e₁, ..., e_n-1 a x₁, ..., x_n-1 e e_n a x_n, x_n+1, ..., x_m
se m £ n assegna e₁, ..., e_m a x₁, x₂, ..., x_m.
Nel secondo caso si vuole che per le espressioni e_m+1, ..., e_n non venga generato alcun codice.
Le espressioni sono costruite con variabili, somma, prodotto e parentesi.
Le variabili possono essere di tipo intero e reale. S_i dovrà controllare che i tipi dichiarati per le variabili siano compatibili con quelli calcolati delle espressioni. Un attributo dell'assegnamento simultaneo segnalerà se ci sono errori di tipo nell'assegnamento.