Analisi Statica


 

Esercizio 10

Si abbia un linguaggio di blocchi.

Esempio:

begin D1 S1; begin D2 S2; S3 end; S4 end

dove D1, D2 sono dichiarazioni, S1, S2, S3, S4 sono istruzioni.
Si vuole uno schema per l'analisi discendente deterministica che costruisca per un blocco una rappresentazione come mostrato in figura per l'esempio sopra.

Si assuma di avere già le regole sintattico-semantiche che costruiscono la rappresentazione delle dichiarazioni e delle istruzioni che non sono blocchi.
 
 


 
 
Ultimo aggiornamento 3 Maggio 1999