编译原理精要.pptVIP

第四章 语法分析 本章讨论程序语言的语法分析方法，以及语法分析程序的设计原理和实现技术。 第四章 语法分析 语法分析程序的功能和语法分析方法 4.1 语法分析程序的功能 4.1 语法分析程序的功能 4.1 语法分析程序的功能 4.1 语法分析程序的功能 4.2 自上而下语法分析法 4.2.1 非确定的自上而下分析法的思想 4.2.1 非确定的自上而下分析法的思想 4.2.1 非确定的自上而下分析法的思想 4.2.1 非确定的自上而下分析法的思想 4.2.1 非确定的自上而下分析法的思想 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 4.2.2 文法的左递归性和回溯的消除 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 LL(1)文法的判断条件 4.2.3 某些非LL(1)文法到LL(1)文法的改写方法 4.2.3 某些非LL(1)文法到LL(1)文法的改写方法 构造FIRST集合的算法 First(α)={a|α*=a…,a∈ VT ∪{ε}} 算法：构造Follow集的算法Follow(A)={a|S*=…Aa…,a∈VT ∪{$}} 换句话说FOLLOW(A)是G的所有句型中紧接在A之后出现的终结符或 $。 这里我们用$作为输入串的结束符，例如，$ 输入串 $。 也可以用#作为输入串的结束符，例如，# 输入串 #。 例 设有文法G[A]: FOLLOW(B) = A ? aB A ? aB ? abBA ? abBd A ? aB ? abBA ? abBaB { $, d, a } A→aB | d B→bBA | ε (3) 定义规则的选择集合SELECT，设 A→ α是文法G的任一条规则，其中 A∈VN , α∈(VN∪VT)* ，定义 SELECT(A→ α) = FIRST(α) FIRST(α)∪FOLLOW (A) * / 若 α ? ε * 若 α ? ε 例 设有文法G[A]: A→aB | d B→bBA | ε SELECT(A→aB ) = FIRST(aB) = { a } SELECT(A→d ) = FIRST(d) = { d } { b } SELECT(B→bBA ) = FIRST(bBA) = = { ε, $, d, a } FOLLOW(B) SELECT(B→ε) = FIRST(ε)∪ FOLLOW(B) = { $, d, a } LL(1)文法定义 一个上下文无关文法 G是LL(1)文法, 当且仅当对 G 中每个非终结符A的任何两个不同的规则 A→ α | β，满足 SELECT(A→ α)∩SELECT(A→β) = Φ 其中α 、β中至多只有一个能推出ε串。 LL(1)中的第一个L表明自上而下的分析是从左到右扫描输入串，第二个L表明分析过程中使用最左推导，1表示分析时每一步只需向前看一个符号即可决定所选用的规则，而且这种选择是准确无误的。 例1 设有文法G[S]: S → aAb A → de | d ∵ SELECT(A→de)= FIRST(de)={d} SELECT(A→d)= FIRST(d)={d} ∴ SELECT(A→de)∩SELECT(A→d) ≠Φ 由LL(1)文法定义可知，该文法不是LL(1)文法，因此对输入串不能进行确 定的自上而下分析。 例2 设有文法G[A] A→ aB | d B→ bBA | ε 则 SELECT(A→aB)∩SELECT(A→d)=Φ SELECT(B→bBA)∩SELECT(B→ε)=Φ 由定义可知，G[A]是LL(1)文法，对任何输入串W可进行确定的分析。 例如：W=a