有关控制结构文法的注解 上述文法中，非终结符S、L、A分别代表语 句、语句串和赋值语句，E代表布尔表达式 此外，由于f语句可能带来二义性，我们约 定每一个else总是与其前离它最近的尚未得 到匹配的then相匹配。在文法(5.8)中，为 了区别同一产生式中不同位置上的同名文 法符号，我们为其增加了上标。 有关控制结构文法的注解 • 上述文法中,非终结符S、L、A分别代表语 句、语句串和赋值语句，E代表布尔表达式。 此外，由于if语句可能带来二义性，我们约 定每一个else总是与其前离它最近的尚未得 到匹配的then相匹配。在文法(5.8)中，为 了区别同一产生式中不同位置上的同名文 法符号，我们为其增加了上标