3编译原理课件.7 分析器的生成器.pptVIP

* * * * * * * * * * * * * * * * * * * * * 补充题 1 下面的二义文法描述命题演算公式的语法，为它写一个等价的非二义文法 S ? S and S | S or S | not S | p | q | (S) 非二义文法的产生式如下： E ? E or T | T T ? T and F | F F ? not E | ( E) | p | q 补充题 1 下面的二义文法描述命题演算公式的语法，为它写一个等价的非二义文法 S ? S and S | S or S | not S | p | q | (S) 非二义文法的产生式如下： E ? E or T | T T ? T and F | F F ? not E | ( E) | p | q not p and q有两种不同的最左推导 补充题 2 设计一个文法:字母表{a, b}上a和b的个数相等的所有串的集合 二义文法： S ? a S b S | b S a S | ? abab abab 补充题 2 设计一个文法:字母表{a, b}上a和b的个数相等的所有串的集合 二义文法： S ? a S b S | b S a S | ? abab abab 二义文法： S ? a B | b A | ? A ? a S | b A A B ? b S | a B B 补充题 2 设计一个文法:字母表{a, b}上a和b的个数相等的所有串的集合 二义文法： S ? a S b S | b S a S | ? abab abab 二义文法： S ? a B | b A | ? A ? a S | b A A B ? b S | a B B BB ? bSbS的选择 bbab bbab 非二义文法： S ? a B S | b A S | ? A ? a | b A A aabbabab B ? b | a B B 补充题 3 试说明下面文法不是LR(1)的： L ? M L b | a M ? ? M b L L L L a M b M b ? ? ? 句子abbb的分析树 补充题 4 下面的文法不是LR(1)的，对它略做修改，使之成为 一个等价的SLR(1)文法 program ? begin declist ; statement end declist ? d ; declist | d statement ? s ; statement | s 补充题 4 下面的文法不是LR(1)的，对它略做修改，使之成为 一个等价的SLR(1)文法 program ? begin declist ; statement end declist ? d ; declist | d statement ? s ; statement | s 该文法产生的句子的形式是 begin d ; d ; … ; d ; s ; s ; … ; s end 补充题 4 下面的文法不是LR(1)的，对它略做修改，使之成为 一个等价的SLR(1)文法 program ? begin declist ; statement end declist ? d ; declist | d statement ? s ; statement | s 该文法产生的句子的形式是 begin d ; d ; … ; d ; s ; s ; … ; s end 当d在栈顶，“；”是下一个输入的时候不知该移进还是规约 补充题 4 下面的文法不是LR(1)的，对它略做修改，使之成为 一个等价的SLR(1)文法 program ? begin declist ; statement end declist ? d ; declist | d statement ? s ; statement | s 该文法产生的句子的形式是 begin d ; d ; … ; d ; s ; s ; … ; s end 修改后的文法如下： program ? begin declist statement end declist ? d ; declist | d ; statement ? s ; statement | s 补充题 5 一个C语言的文件如下，第四行的if误写成fi： long gcd(p,q) long p,q; { fi (p%q == 0) return q; else return gcd(q, p%q