编译原理 第4章 语法分析 自上而下分析法.ppt

第4章 语法分析 语法分析程序的功能 语法分析方法 编译过程 图 3.6词法分析 识别出具有独立意义的单词符号 单词符号的两种描述形式 正规式、正规文法 （转换） 有穷自动机（函数、矩阵、状态转换图） 词法分析程序 正规式与有穷自动机 （转换） R→NFA→DFA→化简 *FA→R 正规方法与有穷自动机 （转换） 右线性、左线性文法→自动机 自动机→右线性文法 词法分析 用正规式和正规文法描述程序语言的单词结构 用有穷自动机构造词法分析程序。 4.1 语法分析程序 以词法分析生成的单词符号序列作为输入 根据语言的语法规则，识别出各种语法成分 描述语法结构的上下文无关文法 表达式、语句、程序段等 并在分析过程中进行语法检查，检查所给的单词符号序列是否是该语言的一个句子 某种形式的语法树作为输出或报告错误 语法分析方法 分类 自上而下分析法，从文法的开始符号出发，根据文法规则的正向推导出给定句子 从树根开始，往下构造语法树 自下而上分析法，从给定输入串开始，根据文法规则逐步进行归约直到方法开始符号 从语法树末端，步步向上归约，直到根结点 S→aAb A→de|d 符号串adb 4.2 自上而下分析法 非确定的自上而下分析法 基本思想：对任何输入串W，从文法开始符号出发，试图用一切可能的办法，自上而下地为它建立一棵语法树，即为输入串寻找一个最左推导。 例4.1：S→aAb A→de|d输入串W=adb 穷举试探过程、带回溯，效率极低 文法的左递归 左递归：A ?+ Aα 自上而下分析法，最左推导，每次替换当前句型中最左非终结符，替换之后仍然是A，在没有任何输入符号的情况下，又重新要求A去进行新的匹配，造成无穷循环 文法左递归的消除 引进一个新的非终结符，改写成右递归 A→Aα|β A→βA’A’→αA’|ε A→Aα1|Aα2|Aα3|β1|β2|β3 A→β1 A’ |β2 A’ |β3 A’A’→α1A’|α2A’|α3A’ 回溯 回溯，推翻前面的分析，包括已做的一大堆语义工作，重新去进行试探，大大降低了语法分析的效率 回溯的原因：某个A有多个候选式，无法确定选用唯一的一个候选式，而只能逐一进行试探 A的规则，右部第一个符号相同，例4.1 A的某一右部能推导出ε串例A→Bx|,B→x|ε，W=x选用B→ε相当于与B的后继符号x进行匹配 避免回溯，要求描述语言的文法是LL(1)文法 FIRST集, FOLLOW集,SELECT集 FIRST(α)，符号串α的首符号集合 从符号串α可推导出的所有首终结符或可能的ε(α ?*ε ) FOLLOW(A)，非终结符A的后继符号集合 所有句型中紧接在A之后出现的终结符或$(S ?*A) SELECT(A →α)，规则的选择集合 FIRST(α), α不能?*ε FIRST(α)\{ε}U FOLLOW(A)， α ?*ε S→aAbA→de|d A→aB|dB→bBA|ε 是LL(1)文法 一个上下文无关文法是LL(1)文法，当且仅当对G中每个非终结符A的任何两个不同的规则A→α|β，满足SELEC(A→α) ∩SELEC(A→ β)=Φ其中α，β中至多只有一个能推出空串。 LL(1) LL(1) 第一个L：从左到右扫描输入串 第二个L：分析过程中使用最左推导 1：表示分析时每一步只需向前看一个符号即可决定所选用的规则，而这种选择是准确无误的 LL(1)文法的判别方法 求文法每个产生式右部符号串的FIRST集 求文法各个非终结符的FOLLOW集 求每个产生式的SELECT集 求相同左部产生式的SELECT集的交集 对每个A→α1| α2|…| αn若SELEC(A→αi) ∩SELEC(A→αj)=Φ 则G是LL(1)文法 例4.6，4.7 判别下文法是否LL(1)文法？ A→BCc|gDBB→bCDE|εC→DaB|caD→dD| εE→gAf|c 判别下文法是否LL(1)文法？ E→TE’E’→+E|εT→FT’T’→T|ε F→PF’F’→*F’| ε P→(E)|a|b|^ 非LL(1)文法 改写为LL(1)文法 若文法中含有左递归或含有公共左因子，则该文法不是LL(1)文法 消除左递归 A→Aα1|Aα2|Aα3|β1|β2|β3 A→β1 A’ |β2 A’ |β3 A’A’→α1A’|α2A’|α3A’ 反复提取公因子 A→αβ1|αβ2|αβ3 A→α A’A’→β1 |β2|β3 反复提取公共左因子 S→aAbA→de|d S→ad|AeA→aS|bA 并非所有非LL(1)文法都能改写为LL(1)文法 思考： 没有左递归、无公共左因子的