第五章 语法分析_习题.ppt

第5章 习题解答: 第5章 习题解答 第5章 习题解答 第5章 习题解答： 第5章 习题解答： 谢谢收看！ * * G(S)：S - a | ∧ |(T) T - T,S | S 【习题:】 给定文法如下： Ⅲ. 递归子程序法； IV. LL(1)分析法； ※ 试分别用下述分析法，对给定的符号串进行语法分析： V. LR(0)( 或SLR（1）)分析法； 设 给定的符号串为： α= ((a,∧),a) VI .简单优先（或算符优先）分析法； Ⅱ. 找出这个句子的短语，简单短语，句柄； Ⅰ. 证明符号串是文法的一个合法的句子； ∴ ((a,∧),a)是文法的一个句子。 S =(T)=(T,S)=(S,S)=((T),S) =((T,S),S) =((S,S),S)=((a,S),S) =((a,∧),S =((a,∧),a) Ⅰ. 证明符号串是文法的一个合法的句子； G(S)：S - a | ∧ |(T) T - T,S | S Ⅱ. 找出这个句子的短语，简单短语，句柄； S ( T ) T , S S ( T ) T , S S a ∧ a 短语：((a,∧),a)；(a,∧),a； (a,∧)；a,∧；a；∧； 简单短语： a；∧； 句柄：a G(S)：S-a ① | ∧ ② |(T) ③ T-T,S ④ | S⑤ Ⅲ. 构造递归子程序法： ⒈ 证明 G(S)是 LL(1)文法： select(①)= first(a)={ a } ※ 求选择集合： select(②)= first(∧)={ ∧ } select(③)= first((T))={ ( } select(④)= first(T,S) ={ a ,( , ∧ } select(⑤)= first(S) = { a ,( , ∧ } ⑴ ⑵ ∵ 选择集合⑴不相交, ⑵相交， ∴ G（S）不是 LL(1) 文法！ 必须进行文法变换！ G’(S)：S-a ① | ∧ ② |(T) ③ T-S{,S}④ 变换后的文法G’(S) S子程序 主程序 ⒉ 构造递归子程序(框图)： 入口 , NEXT(w) 出口 n y S T子程序 ( NEXT(w) y n # NEXT(w) 结束 n y S 开始 err0 入口 出口 a err2 NEXT(w) n n y T ) NEXT(w) y ∧ n y NEXT(w) G’(S)：S-a ① | ∧ ② |(T) ③ T-S{,S}④ S err1 select(⑥)= follow(T’)= { ) } IV. LL(1)分析法： ⒈ 证明 G’’(S)是 LL(1)文法： select(①)= first(a)={ a } ※ 求选择集合： select(②)= first(∧)={∧} select(③)= first((T))={ ( } select(④)= first(ST’) ={ a,∧,( } select(⑤)= first(,ST’)= { ,} ⑴ ⑵ ∵ 两组选择集合⑴, ⑵ 皆不相交， ∴ G’’（S）是 LL(1) 文法！ 即 LL(1)分析法可用！！ G(S)：S-a ①|∧ ②|(T)③ T-T,S ④ | S⑤ G’’(S)：S-a①|∧②|(T)③ T-ST’④ T’-,ST’⑤ |ε⑥ 变换后的文法G’’(S) 2. 构造 LL(1)分析表： LL(1) 分析表： ※ 带有选择集合的文法： ⑤ ① ④ ⑥ ③ ② G’’(S)：S-a{a} ①|∧{∧} ②|(T){(} ③ T-ST’ { a,∧,( } ④ T’ -,ST’{ ,} ⑤ |ε{)}⑥ T’ T S # , ) ( ∧ a ④ ④ V. LR(0)(SLR(1))分析法： ⒈ 扩展文法，编码： G(S)：S`- S1 0 S - a2 ① | ∧3 ② |(4T5)6 ③ T - T7,8S9 ④ | S10 ⑤ ⒉ 构造可规约前缀图： 0 + S ① - OK a ② - r(1) ③ ∧ - r(2) ( ④ T ⑤ ) ⑥ - r(3) ⑦ T , ⑧ S ⑨ - r(4) S 10 - r(5) a ∧ ( a ∧ ( 是一个非确定有限自动机，需要转换为确定机！ V. LR(0)(SLR(1))分析法： G(S)：S`- S1 0