第4讲-自上而下的语法分析教学课件.ppt

根据以上说法，分析表M中的任何M[X,a]都不能是多重定义的（一个表项登记两个产生式），这就要求文法G应是无二义的。 另外，如果一个表项登记为： P→Pα，将会导致死循环，因此，文法必须消除左递归。 通常把分析表不含多重定义入口的文法称为LL(1)文法，第一个L代表从左到右扫描输入串，第二个L代表产生最左推导，1代表在决定语法分析器的每步动作时向前扫描1个输入符号即可。 CompilerPrinciples * ★分析表的构造：显然若A→α,而a∈First(α),那么M[A,a]置为A→α是再合适不过的了，这就涉及到如何求First First(α) = {a∣α?* a…,a∈VT}的问题了。 ⑴First集的构造：对每一个文法符号X∈VT∪VN,可连续使用如下规则，直到每个First集不再增大为止： a.若X∈VT则First(X)={X}; b.若X∈VN，且有产生式X→a…,则a∈First(X),特别若 X→ε，则ε∈First(X)； c.若X→Y…且有Y∈VN，则把First(Y)中的所有非ε元素加到First(X)中；若X→Y1Y2…Yk是一个产生式，Y1…Yi-1都是非终结符，而且，对于任何j (1?j?i-1),都有ε∈First(Yj)，则把First(Yi)中的所有非ε元素加入First(X)中；特别是，若所有的First(Yj) 均含有ε (j=1,2,…k),则把ε加入First(X)中。 CompilerPrinciples * 构造了每个文法符号的First集之后，我们也就能够对文法的任何符号串α构造出First(α)了。使用First这个工具，是否能够解决所有的问题呢？非也！ 问题是A→α,若α=ε或α?+ε，又该怎么办？ 为此我们需要用到另外一个工具： Follow(A)={a∣S ?* …Aa…,a∈VT} 这儿若S ?* …A则#∈Follow(A)。就是说Follow(A)是所有句型中紧跟在A之后的终结符或#。那么如何构造Follow集呢？ CompilerPrinciples * ⑵ Follow集的构造：对于文法G的每个非终结符A连续使用如下规则，直至每个Follow不在增大为止： a.若开始符号为S,则置#于Follow(S)中； b.若A→αBβ∈P,则把First(β)-{ε}加入Follow(B)中； c.若A→αB∈P或A→αBβ∈P且β?* ε,则把Follow(A)加入 Follow(B)中； 为什么？ 有了Follow集我们就解决了A→α且α?* ε的问题，这时若a∈Follow(A) （a可能是终结符或#),那么A→α就认为已自动匹配，故M[A,a]应放入A→α。 两个工具都有了，构造分析表的准备工作也完成了。 CompilerPrinciples * ⑶分析表的构造： a.对于文法G的每个产生式A→α执行： ⅰ.对每个终结符a∈First(α), 置M[A,a]为A→α； ⅱ.若ε∈First(α),则对于任何b∈Follow(A),置 M[A,b]为A→α； b.把所有无定义的M[A,a]填“出错标志”； 下面举个例子： CompilerPrinciples * CompilerPrinciples * i + * ( ) # E E →TE E →TE E E→+TE E→ε E→ε T T→FT T→FT T T→ε T→*FT T→ε T→ε F F→i F→(E) 然后，构造分析表如下：表中所有空白处均为出错标志 CompilerPrinciples * 从前面讲的总控程序的工作过程来看，我们构造出的分析表还有值得改进之处。其实没有必要把整个产生式写进表中，而是直接按倒序把右部放入即可。而且若X→X1…Xn且X1∈VT，则根本无须进栈。这样一来，总控程序的结构可示意如下： BEGIN INITIAL: 置初值； NEXT: 读入下一输入符号到a； PROCESS: 按M[X,a]规定动作进行； END 当然，要完全按此程序进行，分析表还需进一步构造才行，不再详谈。 CompilerPrinciples * ?还有一个问题：若通过上述方法构造的分析表中含有多重定义的表项时该怎么办？ 一种办法是进行文法的等价变换（消