3.6 二义文法的应用.ppt

* * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * * state action goto id + ? ( ) $ E 0 s3 e1 e1 s2 d e1 1 1 e4 s4 s5 e4 d acc 2 s3 e6 e6 s2 d e6 6 3 r4 r4 r4 r4 r4 r4 4 s3 e7 e7 s2 d e7 7 5 s3 e8 e8 s2 d e8 8 6 e4 s4 s5 e4 s9 e9 7 r1 r1 s5 r1 r1 r1 8 r2 r2 r2 r2 r2 r2 9 r3 r3 r3 r3 r3 r3 I0 E ? · E E ? · E + E E ? · E ? E E ? · (E) E ? · id I1 E ? E · E ? E · + E E ? E · ? E E I2 E ? ( · E) E ? · E + E E ? · E ? E E ? · (E) E ? · id ( I3 E ? id · id I4 E ? E + · E E ? · E + E E ? · E ? E E ? · (E) E ? · id I5 E ? E ? · E E ? · E + E E ? · E ? E E ? · (E) E ? · id I6 E ? (E · ) E ? E · + E E ? E · ? E I7 E ? E + E · E ? E · + E E ? E · ? E I8 E ? E ? E · E ? E · + E E ? E · ? E I9 E ? (E) · + ? E id ( E ( id E ( id ) + ? + ? ? + 例 题 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 F | ( 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有两种不同的最左推导 例 题 1 下面的二义文法描述命题演算公式的语法， 为它写一个等价的非二义文法 S ? S and S | S or S | not S | p | q | (S) 非二义文法的产生式如下： E ? E or T | T not p and q T ? T and F | F not p and q F ? not E | ( E) | p | q ? not p and q有两种不同的最左推导 例 题 2 设计一个文法:字母表{a, b}上a和b的个数相 等的所有串的集合 二义文法： S ? a S b S | b S a S | ? aabbabab aabbabab S S S S 例 题 2 设计一个文法:字母表{a, b}上a和b的个数相 等的所有串的集合 二义文法： S ? a S b S | b S a S | ? aabbabab aabbabab 二义文法： S ? a B | b A | ? A ? a S | b A A B ? b S | a B B aabbabab aabbabab aabbabab B B B B B B 例 题 2 设计一个文法:字母表{a, b}上a和b的个数相 等的所有串的集合 二义文法： S ? a S b S | b S a S | ? aabbabab aabbabab 二义文法： S ? a B | b A | ? A ? a S | b A A B ? b S | a B B aabbabab aabbabab aabbabab 非二义文法： S ? a B S | b A S | ? A ? a | b A A a abb abab B ? b | a B B