編譯原理系列之七 語法制導的語義計算

語法制導的語義計算 1.基本概念 屬性文法：在文法G[S]的基礎上，爲文法符號關聯有特定意義的屬性，併爲產生式關聯相應的語義動作或條件謂語，稱之爲屬性文法，並稱文法G[S]爲之的基礎文法。 屬性文法AG是一個四元式，即AG = (G, A, R, B)：G是上下文無關文法，A是屬性的有限集合，R是語義規則式的有限集合，B是樣式的有限集合。 例子： 產生式 語義動作 S -> ABC {B.in_n

>>阅读原文<<