第四章语法(一)介绍.ppt

machunyan 西北工业大学软件与微电子学院 * 5 $ list identifier x,y,z$ 匹配 6 $ list ,y,z$ r5 $var-list, ,y,z$ 7 匹配 $var-list 8 r4 y,z$ … … … 步骤 分析栈 输入 动作 $ 成功 $ machunyan 西北工业大学软件与微电子学院 * 4.3 LL( 1 )分析 4.3.1 LL(1)分析的基本方法 4.3.2 LL(1)分析与算法 4.3.3 消除左递归和提取左因子 machunyan 西北工业大学软件与微电子学院 * Input $ 总控程序 LL(1)预测分析表 stack $ machunyan 西北工业大学软件与微电子学院 * 4.3.2 LL(1)分析与算法 基于表的LL(1)分析算法流程： LL(1)分析表的构造是LL(1)分析算法的关键技术。 machunyan 西北工业大学软件与微电子学院 * 4.3 LL( 1 )分析 4.3.1 LL(1)分析的基本方法 4.3.2 LL(1)分析与算法 4.3.3 消除左递归和提取左因子 machunyan 西北工业大学软件与微电子学院 * 简单直接左递归文法是否是LL(1)文法？例如： A?Aa A?b 若文法G有产生式U?xy |xw |…| xz则该文法是否是LL(1)文法？ 4.3.3 消除左递归和提取左因子 machunyan 西北工业大学软件与微电子学院 * 4.3.3 消除左递归和提取左因子(续) 由于含有左递归和左公共因子的文法不是LL(1)文法，如果要使用LL(1)语法分析算法对该文法定义的语言进行语法分析，那么必须通过消除左递归和提取左公共因子，将文法进行等价改造。 machunyan 西北工业大学软件与微电子学院 * 简单直接左递归的消除 A?Aα A?β 4.3.3 消除左递归和提取左因子(续) 消除直接左递归将文法重写为： A?βA’ A’?αA’|ε machunyan 西北工业大学软件与微电子学院 * 例：消除下面文法的左递归规则： exp ? exp addop term|term exp ? term exp’ 消除左递归后将上述文法重写为： exp’ ? addop term exp’|ε machunyan 西北工业大学软件与微电子学院 * 多项直接左递归的消除 A?Aα1|Aα2|…| Aαn|β1|β2 | … |βm 消除左递归后将上述文法重写为： A? β1A’|β2A’|…|βmA’ A’?α1A’|α2A’|…|αnA’|ε machunyan 西北工业大学软件与微电子学院 * 例：消除下面文法的左递归规则： exp ? exp+term| exp-term| term exp ? term exp’ 消除左递归后将上述文法重写为： exp’ ? +term exp’| -term exp’| ε machunyan 西北工业大学软件与微电子学院 * 若在y,w,…,z中仍然有左公共因子，可以再次提取。注意，若有：U?xy|x 则提取后：U?x(y|?) 若有产生式U?xy|xw|…|xz ，则提取左公共因子并用EBNF表示为： U?x(y|w|…|z) 再引入另一个非终结符号V，将产生式变为：U?xVV? y|w|…|z 提取左因子： machunyan 西北工业大学软件与微电子学院 * 设有产生式： S→if B then S1 else S2 |if B then S1 引入非终结符号R： S→if B then S1 R  R→else S2 |ε 提取公因子，改成： S→if B then S1(else S2|?) machunyan 西北工业大学软件与微电子学院 * 4.1 自上而下的语法分析算法概述 4.2 递归下降分析 4.3 LL(1)分析 4.4 自上而下的语法分析器自动生成工具—JavaCC 4.5 项目：编译器实现（语法分析模块） 第四章 自上而下的语法分析 machunyan 西北工业大学软件与微电子学院 * Javacc运行程序(一个自上而下的LL(K)?解析器 ，默认情况下，生成LL(1)分析程序) 读入用Javacc语法编写的源程序（后缀名为*.jj），即某一语言的词法规则、文法规则以及与该文法规则相联系的语义动作说明（Java代码段） 生成相应文法Java代码的词法分析器和语法分析器。而且，这些生成的程序在运行时不再需要JavaCC的任何支持。 4.4 自上而下分析器自动生成工具--JavaCC machunyan 西北工业大学软件与微电子学院 * Javacc的用法和特点 Jav