编译原理ppt3_2.pptVIP

3.2 语言和文法 文法为语言给出了精确的、易于理解的语法说明 对于某些文法类，可以自动产生高效的分析器 如果文法设计得恰当，则它赋予语言的结构对于源程序翻译成正确的目标代码和对于错误诊断都是有用的 语言也是逐步完善的，增加新构造以完成新任务的情况时有发生。如果存在以文法为基础的语言的实现，语言新构造的加入就显得方便 文法能够描述程序设计语言的大部分语法成分，但不能描述程序设计语言的全部语法成分 3.2.1正规式和上下文无关文法的比较 正规表达式所描述的每一种结构都可以用上下文无关文法来描述 例如描述正规表达式(a|b)*abb的上下文无关文法 A0 → aA0 | bA0 | aA1 A1 → bA2 A2 → ε NFA ---上下文无关文法 对NFA的每个状态i，创建一个非终结符Ai 如果状态i遇到输入符号a转换到状态j，则引入产生式Ai → aAj 如果状态i遇到输入符号ε转换到状态j，则引入产生式Ai → Aj 如果状态i是接受状态，则引入产生式Ai → ε 如果状态i是开始状态，则Ai是文法的开始符号 例：设DFA M = {A,B,C,D}, {0,1}, ?, A, {B}。M的状态转换图如下图所示，求等价的上下文无关文法 3.2.2 分离词法分析器的理由 为什么用正规式定义语言的词法，而不用上下文无关文法 语言的词法规则简单 正规式给出的描述更简洁且易于理解 从正规式自动构造出的词法分析器更有效 3.2.3验证文法产生的语言 文法G产生语言L：由G产生的每个字符串都在L中；反之，L中的每个字符串都能由G产生 例，下面的文法G能而且仅能产生所有配对的括号串 S→(S)S | ε 文法示例 例1：G1[S]: S →bA A →aA | a L(G1)={ ban | n≥1} 例2：G2[S]: S → aSb | ab L(G2)={ anbn | n≥1} 例3：构造文法G3，使L(G3)={ anbn+1 | n≥0} G3[S]: S →aSb | b 例4：构造文法G4，使L(G4)={ω| ω为字符集Σ上的回文}，Σ={a,b} G4[S]: S → aSa | bSb | a | b |ε 3.2.4 适当的表达式文法 通过改写文法来消除文法的二义性 例：G[expr]: expr→expr+expr | expr*expr | (expr) | id 可以改写为如下无二义文法 expr →expr+term | term term →term*factor | factor factor →(expr) | id 将相同优先权的算符放在一组，并为每一种优先权规定不同的规则 E →E+E | T T →T*T | F F →(E) | i 文法中仍为指定算符的结合性，还具有二义性，用基本情况代替递归，强制重复算符匹配一边的递归 将规则 E→E+E | T 替换为 E→E+T | T (左结合) E→T+E | T (右结合) 最后得到:G[E] E→E+T | T T→T*F | F F →(E) | i 3.2.5 消除二义性 例 stmt → if expr then stmt | if expr then stmt else stmt | other 考虑：if E1 then if E2 then S1 else S2 改写后的文法 stmt →matched_stmt | unmatched_stmt matched_stmt →if expr then matched_stmt else matched_stmt | other unmatched_stmt →if expr then stmt | if expr then matched_stmt else un matched_stmt 3.2.6 消除左递归 一个文法是含有左递归的，如果存在非终结符A，存在推导 消除直接左递归 将规则 A→A? | ? （其中?不以A开头）改写为： A→?A A?→?A?|? 例：文法 E→E+T|T T→T*F|F F→(E)|id 消除左递归 E→TE E→+TE|ε T→FT T→*FT| ε F→(E)|id 一般形式的直接左递归