编译原理张淑艳 compiler-principle05.pptVIP

5.1.2 规范规约简述 如果文法二义，那么句柄可能不唯一 例：句柄不唯一 E ? E + E | E ? E | (E ) | id E ?rm E ? E E ?rmE + E ?rm E ? E + E ?rm E + id3 ?rm E ? E + id3 ?rm E ? E + id3 ?rm E ? id2 + id3 ?rm E ? id2 + id3 ?rm id1 ? id2 + id3 ?rm id1 ? id2 + id3 在句型E ? E + id3中，句柄不唯一,归约时会出现问题 3、规范归约： 假定α是文法G的一个句子，称序列αn，αn－1，… α0 是α的一个规范归约，则此序列满足： (1)αn＝α (2)α0为文法开始符，即α0＝S (3)对任何i，0i≤n， αi－1是从αi经把句柄替换为相应产生式的左部符号而得到的。 最右推导的逆过程 等价于 最左归约 等价于 规范归约 5.1.2 规范规约简述 2：有文法： E ? E+T|T T ? T*F|F F ? (E)|i 对输入串 i1+i2*i3 的规范规约过程： 5.1.2 规范规约简述 i1 i2 i3 F T E F T F T E (1) E?T | E+T (2) T?F | T*F (3) F?i | (E) 步骤 符号栈 输入串 动作 0 # i1+i2*i3# 准备 1 #i1 +i2*i3# 移进 2 #F +i2*i3# 归约 F?i 3 #T +i2*i3# 归约 T?F 4 #E +i2*i3# 归约 E?T 5 #E+ i2*i3# 移进 6 #E+i2 *i3# 移进 7 #E+F *i3# 归约 F?i 8 #E+T *i3# 归约 T?F 9 #E+T* i3# 移进 10 #E+T*i3 # 移进 11 #E+T*F # 归约 F?i 12 #E+T # 归约 T?T*F 13 #E # 归约 E?E+T 14 #E # 接受 + * 练习 给出句型(a,(a,a))的 规范归约过程 给定文法G[S]： S ? a | (T) T ? T,S | S 1 # (a,(a,a))# 开始 2 #( a,(a,a))# 移进 3 #(a ,(a,a))# 移进 4 #(S ,(a,a))# 归约S?a 5 #(T ,(a,a))# 归约T?S 6 #(T, (a,a))# 移进 7 #(T,( a,a))# 移进 8 #(T,(a ,a))# 移进 9 #(T,(S ,a))# 归约S?a 10 #(T,(T ,a))# 归约T?S 11 #(T,(T, a))# 移进 12 #(T,(T,a ))# 移进 13 #(T,(T,S ))# 归约S?a 14 #(T,(T ))# 归约T?T,S 15 #(T,(T) )# 移进 16 #(T,S )# 归约S?(T) 17 #(T )# 归约T?T,S 18 #(T) # 移进 19 #S # 接受 5.2 算符优先分析 算符优先分析就是: (1)定义终结符之间的某种优先关系， (2)借助于这种优先关系寻找“可归约串”和进行归约。 对于文法，任何两个相继出现的终结符（…ab…或…aQb…），有下列三种关系： a b a的优先性等于b a b a的优先性低于b a b a的优先性高于b 注意：这三个关系不同于数学中的“=”，“”，“”，此处a b并不一定意味着b a，a b也不一定意味着 b a。 5.2.1 算符优先文法及优先表的构造 本节先讨论算符优先文法，然后再讨论终结符的优先关系 定义1：对于文法G，如果每条产生式的右部都不含两个相继的非结符，则称G为算符文法。 例: 若G中有产生式 S?aAB, 则G不是算符文法 定义2：设G是不含ε－产生式的文法，对任何两个终结符a,b，P,Q,R∈VN， (1)a b ? G中含有 P?…ab…或P?…aQb… (2)a b ? G中含有 P?…aR…，而R?b… 或 R?Qb… (3)a b ? G中含有 P?…Rb…，而R?…a 或 R?…aQ ＋ ＋ ＋ ＋ 5.2.1 算符优先文法及优先表的构造 本节先讨论几个定义，然后再讨论算符优先文法 定义1：对于文法G，如果每条产生式的右部都不含两个相继的非结符，则称G为算符文法。 G1(E): E?E