自下而上分析和优先分析.ppt

An Introduction to Database System 第六章 自底向上优先分析法 自底向上的分析方法，也称移进-归约分析法。它的实现思想是： 对输入符号串自左向右进行扫描，并将输入符逐个移入一个后进先出栈中，边移入边分析，一旦栈顶符号串形成某个句型的句柄时，(该句柄对应某产生式的右部)，就用该产生式的左部非终结符代替相应右部的文法符号串，这称为一步归约。重复这一过程直到归约到栈中只剩文法的开始符号时则为分析成功，也就确认输入串是文法的句子。 确定的自底向上的分析方法分为两大类：优先分析法和LR分析方法。本章将在介绍自底向上分析思想基础上，着重介绍算符优先分析法。  解题方法 ⒈ 先证明前提（如证明i+i*i是G的一个句型） ⒉ 给出语法树（注意文法是否是二义性的） 　 如题文法G[E]: E→ E+E|E*E|(E) | i 所以：证明i+i*i是G的一个句型，并指出这个句型的所有短语、直接短语、句柄。 ⒊ 根据每颗语法树得出短语、直接短语、句柄 例课本P143例6.3 练习1题目 文法G[T]: T→ F | T*F F →F ↑ P | P P→ (T) | i 证明T*P ↑(T*F)是文法G的一个句型，并指出这个句型的所有短语、直接短语、句柄。 算法应考虑的问题 算法是否能够终止？ 算法是否快速？ 算法是否能够处理所有的情况？ 在每一步中如何选择子串进行归约？ 课本例6.4 例6.4 设文法G[Z]: Z - AB A - aAb A - ab B - bB B - c 对输入符号串aabbbc进行移进-归约分析。 分析过程在p146. 非确定的自下而上的分析器 非确定的自下而上的分析器形式定义 简单优先分析方法的算法流程图及例子 1. 流程图：P166 图6.6 2. 例题：P167 例6.13 3. 优先关系矩阵的表示 P168 4. 文法存放的数据结构 P168 6. 有关文法的一些关系 课本P151 1. 一个n元关系R可定义为一个有序的n元组集合。 2. 基本性质：自反、对称、可传递 3. 与文法相关的一些关系：关系和、关系积、传递闭包和自反传递闭包。 4. 布尔矩阵和关系 5. Warshall算法 ——一个求关系的传递闭包的算法。P154 6. 设R是集合A上的关系，若#A=n，则R+= R1 + R2+……+ Rn 2元关系R的传递闭包R+的关系矩阵为： M(R+)=M(R1)+M(R2)+……+M(Rk) =M(R)1+M(R)2+……+M(R)k 其中，k=n(n为文法符号的个数) 7. 关系FIRST与LAST 课本P156 1. 关系FIRST和LAST的定义为： (1). A FIRST B，当且仅当文法有如下产生式： A - Bα 其中，A∈VN，B∈(VN ∪ VT)，α∈ (VN ∪ VT)* (2). A LAST B，当且仅当文法有如下产生式： A - αB 其中，A∈VN，B∈(VN ∪ VT)， α∈ (VN ∪ VT)* 2. FIRST关系的传递闭包FIRST+定义为： A FIRST+ B，当且仅当文法有如下产生式序列： A - B1… , B1 - B2… ,…… , Bn - B… 3. FIRST关系的自反传递闭包FIRST*定义为： A FIRST* B，当且仅当A FIRST0 B或 A FIRST+ B 4. 同理可定义LAST的传递闭包和自反传递闭包。 关系FIRST与LAST的 例子课本P156 关系FIRST与LAST 例子 续1 例6.9 ：S -(A) | a | b A - B B -S | ScB 关系FIRST与LAST 例子 续2 FIRST + =FIRST1 + FIRST2 + …… FIRST8 = FIRST1 + FIRST2 + …… FIRST4 LAST + =LAST1 + LAST2 + …… LAST8 =LAST1 + LAST2 + …… LAST4 两个重要结论： 1. A = + Bα，当且仅当A FIRST+ B，其中 A∈VN，B∈(VN ∪ VT)，α∈ (VN ∪ VT)* 2. A = + αB，当且仅当A LAST+ B，其中 A∈VN，B∈(VN ∪ VT)，α∈ (VN ∪ VT)* 8. 简单优先关系的形式化构造方法 P160 可以利用布尔矩阵及