www.vincenzomanzoni.com

[Andrea]

Qualcuno mi aiuta a ricostruire la regola? Sul quaderno ho scritto una cosa che mi risulta indecifrabile! o_O'

L'unica cosa che ho capito è che non posso avere dipendenze fra i sintetizzati del padre e gli ereditati del figlio...

[Mau]

[vinz]

Che la grammatica sia aciclica in maniera assoluta non è un requisito perché la grammatica sia onesweep.

Una delle due regole che deve soddisfare è quella che avete già detto, ovvero che non deve esserci dipendenza tra un attributo sintetizzato del padre e uno ereditato del figlio.

Poi, per ogni produzione, si disegna il brother graph, o grafo dei fratelli. I nodi del grafo sono i non terminali a destra della produzione, gli archi rappresentano la dipendenza di un attributo di un non terminale a destra con un altro non terminale sempre a destra.

Supponiamo di avere una produzione P : N1 = N2 N3. Se ci fosse una regola semantica del tipo N3.x = f(N2.x), brother graph sarebbe

[Andrea]

Chiarissimo, ma io ho sempre pensato che il Brothergraph fosse il solito grafo della produzione.

[vinz]