[第4章语法分析—自上而下分析1.pptVIP

第4章 语法分析（1） 定义：设 G[S] = (VT ,VN , S , P) 是上下文无关文法，则 FIRST(x) = {a|x ay,a∈ VT,x,y ∈ V*} 若x ε，则规定ε∈FIRST(x) 实际上， FIRST(x)是指由符号串x出发能够推导出来的所有符号串中，处于串头的终结符号的集合。 提取公共左因子: 假定关于A的规则是 A→?? 1 | ?? 2 | …| ?? n | ? 1 | ? 2 | … | ?m (其中，每个? 不以?开头) 那么，可以把这些规则改写成: A→?A? | ? 1 | ? 2 | … | ? m A?→? 1 | ? 2 | … | ? n 经过反复提取左因子，就能够把每个非终结符(包括新引进者)的所有候选首符集变成为两两不相交。 * * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 4.1 常用终结符号集 1、 FIRST集（首符号集） ? * ? * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. FIRST(X)可按以下算法求得： 设：X=X1X2…Xn，FIRST(X)=Φ，i=1则有： 1. 若Xi∈VT,则Xi∈FIRST(X),进入第4步; 2. 若Xi∈VN, ①若Xi ε,则FIRST(Xi)∈FIRST(X),进入第4步; ②若Xi ε,则FIRST(Xi)\ ε∈FIRST(X),然后令i=i+1, 若i≤n，进入第1步,否则进入第3步； 3.若 X ε，则ε∈FIRST(X)； 4.退出 ? * ? * ? * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 定义：设 G[S] = (VT ,VN , S , P) 是上下文无关文法，A∈VN , 则  FOLLOW(A)={a|S …Aa… ,a∈VT}  若S …A，则规定 #∈FOLLOW(A) 实际上， FOLLOW(A)是指文法G[S] 的所有句型中， 紧跟在非终结符A后的终结符号的集合。 #作为输入串的结束符，或称为句子括号，如：abc# 2、 FOLLOW集（后继符号集） ? * ? * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. FOLLOW(A)可采用以下算法求得： 1.对于文法G[S]的开始符号S，有#∈FOLLOW(S)； 2.若文法G[S]中有形如U→xA的规则,其中x∈V﹡,则 FOLLOW(U)∈FOLLOW(A) 3.若文法G[S]中有形如U→xAy的规则,其中x∈V﹡,y∈V﹡, 当y ε时, FIRST(y)∈FOLLOW(A) 当y ε时, FIRST(y)\ ε∈FOLLOW(A) FOLLOW(U)∈FOLLOW(A) ? * ? * Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profil