S ::= id := A S ::= id := B A ::= A * P A ::= P P ::= id P ::= (A) B ::= A = A |
Si supponga di avere nella tabella dei simboli i tipi degli
identificatori. Si scriva uno schema per l'analisi ascendente
deterministica che generi il codice a tre indirizzi, verificando la
compatibilità dei tipi e calcolando come attributo del non
terminale S o il tipo dell'espressione assegnata oppure errore.
|