ANTLR 解析原理

如果无法正常显示,请先停止浏览器的去广告插件。
分享至:
1. ANTLR 解析原理 《编译原理和技术(H)》 张昱 0551-63603804,yuzhang@ustc.edu.cn 中国科学技术大学 计算机科学与技术学院
2. 解析器的生成器  生成器  生成Lexer:Flex(for windows)、Jflex  生成Parser  LALR: Bison(for windows)、Java CUP  LL: JavaCC、ANTLR – LL(*) [PLDI2011] , ALL(*) [OOPSLA2014]  文法对Parser的影响  LR Parser的优势:速度快、表达能力强  LL Parser的优势:代码结构与文法对应, 易理解,容易增加错误处理和错误恢复 张昱:《编译原理和技术(H)》ANTLR解析原理 2
3. ANTLR(ANother Tool for Language Recognition) [http://www.antlr.org/]  Prof. Terence Parr , since 1989  支持多种代码生成目标 Java、C++、C#、Python、Go、JavaScript、Swift 张昱:《编译原理和技术(H)》ANTLR解析原理 3
4. 基于 开展的实验  开源:源码阅读,消化、理解生成 器基于的原理  各种语言实现:31种模式 1. 从文法到递归下降识别器 2. LL(1)递归下降词法分析器 3. LL(1)递归下降语法解析器 4. LL(k)递归下降语法解析器 5. 回溯解析器 6. 记忆解析器 7. 谓词解析器 8. 解析树(分析树) 9. 同型抽象语法树 10. 规范化异型AST 11. 不规则的异型AST 12. 内嵌遍历器 13. 外部访问者 14. 文法访问者 15. 模式匹配者(子树) 16. 单作用域符号表 17. 嵌套作用域符号表 18. 数据聚集的符号表 19. 类的符号表型 张昱:《编译原理和技术(H)》ANTLR解析原理 20. 计算表达式的类型 21. 自动类型提升 22. 静态类型检查 23. 动态类型检查 24. 语法制导的解释器 25. 基于树的解释器 26. 字节码汇编器 27. 栈式解释器 28. 寄存器解释器 29. 语法制导的翻译器 30. 基于规则的翻译器 31. 模型驱动的转换 4
5. 相关资源 ANTLR (ANother Tool for Language Recognition) https://www.antlr.org/  doc, github, grammars  Video: The Definitive ANTLR 4 Reference  Paper: LL(*) [PLDI2011] , ALL(*) [OOPSLA2014] 张昱:《编译原理和技术(H)》ANTLR解析原理 5
6. ANTLR4 简介
7. ANTLR 的文法文件 .g4  格式  ruleName grammar MyG;  词法:大写字母开头 options { … }  语法:小写字母开头 import … ;  纯词法分析器 tokens { … } lexer grammar MyG; channels {…} //lexer only  词法规则 INT : DIGIT+ @actionName { … } ruleName : <stuff> ; …… 模式定义 词法状态 channels { WHILESPACE_CHANNEL, COMMENTS_CHANNEL } 正规定义, DIGIT不是记号 ; 模式调用 fragment DIGIT : [0-9] ; LQUOTE : '"' -> more, mode(STR) ; mode STR; STRING : '"' -> mode(DEFAULT_MODE); 用在词法规则中,设置当前分析的通道, 可跳过空白符或注释 WS: [\t\n\r]+ -> channel(WHITESPACE); 缺省的通道为 Token.DEFAULT_CHANNEL 张昱:《编译原理和技术(H)》ANTLR解析原理 7
8. ANTLR:Lexer命令  命令格式 TokenName : <选项> -> 命令名 [(参数)]  命令  skip:不返回记号给parser,如识别出空白符或注释  type(T):设置当前记号的类型  channel(C):设置当前记号的通道,缺省为 Token.DEFAULT_CHANNEL(值为0);Token.HIDDEN_CHANNEL(值为1)  mode(M):匹配当前记号后,切换到模式M  pushMode(M):与mode(M)类似,但将当前模式入栈  popMode:从模式栈弹出模式,使之成为当前模式 张昱:《编译原理和技术(H)》ANTLR解析原理 8
9. Parser规则  格式  可以带标签( #标签名,后跟空格或换行) e : e '*' e # Mult | e '+' e # Add | INT # Int ; ANTLR为每个标签产生规则上下文类 XXXParser.MultContext  有何用处? ANTLR会生成与该标签对应的语法结构的 enter和exit方法 public interface XXXListener extends ParseTreeListener { void enterMult(XXXParser.MultContext ctx); void exitMult(XXXParser.MultContext ctx); …… } 张昱:《编译原理和技术(H)》ANTLR解析原理 9
10. Parser规则  左递归  ANTLR容许哪些左递归?  ANTLR对所支持的左递归如何处理?下例会怎样? e : e '+' e # Add | e '*' e # Mult | INT # Int ;  规则的组成元素  T、 ‘literal’ :终结符、文本串 => 记号  r:小写字母开头,代表非终结符  r[参数]:传入一组逗号分隔的参数,相当于函数调用  {动作}:在之前的元素之后、后继元素之前执行该动作  {谓词}?:如果谓词为假,则不继续分析 张昱:《编译原理和技术(H)》ANTLR解析原理 10
11. ANTLR 的原理  ANTLR3:LL(*) [PLDI2011]  ANTLR4: Adaptive LL(*) [OOPSLA2014] Terence Parr Sam Harwell Univ. of San Fran. Microsoft Kathleen Fisher Tufts University
12. 确定的分析技术 确定的分析(deterministic parsing)  LL(k)、LR(k)、LALR(k)  LR分析对左递归的处理能力  直接左递归:  隐藏的左递归(hidden left recursion):可能不终止  𝑨 ⇒ ∗ 𝜷𝑨𝝁 其中𝜷 ⇒ + 𝜺 例如, S → C a | d B →𝜀 | a 张昱:《编译原理和技术(H)》ANTLR解析原理 C → b | BC b | b b 12
13. 不确定的分析技术  Generalized LR(GLR) [book1986]  面向自然语言分析,其中的句子可能有二义性  并行地处理(BFS)分析表中的多重条目  Stack List => Tree-Structured Stack => Graph-Structured Stack (GSS,4.2.2节)  Parse forest, next actions  复杂,但在LR确定性文法上有线性性能 如何降低栈的数量、状态的数量?  GLL(Generalised LL) [entcs2010]  所有上下文无关文法(含左递归文法),最坏为立方时间  将分析栈组合成一个GSS,用GSS中的环处理左递归 张昱:《编译原理和技术(H)》ANTLR解析原理 13
14. LL分析技术的发展  PEGs (Parser Expression Grammars) [popl2004]  自上而下分析,线性分析器  引入Prioritized choice operator ‘/’来提供非二义的选择 𝒆 𝟏 /𝒆 𝟐 先尝试𝒆 𝟏 ,如果𝒆 𝟏 失败则再从同一起点尝试𝒆 2  在上下文无关文法CFG中, 𝑨 → 𝒂𝒃|𝒂与𝑨 → 𝒂|𝒂𝒃等价  但𝑨 ← 𝒂𝒃/𝒂与𝑨 ← 𝒂/𝒂𝒃不相等, 后者的分支2永不成功 &𝒆 尝试匹配𝒆,然后无条件回溯到起点,只是返回是否匹配成功 ! 𝒆 如果匹配𝒆,则失败;如果不匹配,则成功  可以表示所有LR(k)以及其他文法,包括某些非CFG 例如,可以表示非上下文无关语言 𝒂 𝒏 𝒃 𝒏 𝒄 𝒏 𝑮= 𝑨, 𝑩, 𝑫 , 𝒂, 𝒃, 𝒄 , 𝑹, 𝑫 , 其中 𝑹 包括 𝑨 ← 𝒂𝑨𝒃/𝜺 𝑩 ← 𝒃𝑩𝒄/𝜺 张昱:《编译原理和技术(H)》ANTLR解析原理 𝑫 ← & 𝑨 ! 𝒃 𝒂 ∗ 𝑩!. 14
15. 前述分析方法的不足  GLR和PEG分析器不总按设计意图来执行  GLR默认接受二义的文法,不得不动态检测二义性  PEG不会有文法二义性,因为它总选第一个匹配的分支  不确定的分析器难以调试  自底向上:状态表示文法中的多个位置,难预测下一步  自顶向下:易于理解,但难跟踪嵌套的回溯  在不确定的分析器中难以产生高质量的错误消息  自顶向下:在二义的上下文下预测  自底向上:归约的不确定性  不确定的分析策略不易支持任意、内嵌的文法动作  预测分析器不能执行有副作用的动作  GLR可以以多种方式匹配相同的规则,如何处理这多个结果 张昱:《编译原理和技术(H)》ANTLR解析原理 15
16. ANTLR的引入  LL(*)  通过句法谓词支持任意的lookahead  使用正规式区分不同产生式分支,提供近似确定性分析  文法不能是左递归的(直接左递归可以自动转换)  LL(*)文法条件静态不可判定,故有时不能找到正规式 来区分不同产生式分支  Adaptive LL(*)  在决策点发起多个子分析器  记忆分析结果,增量动态构建DFA  使用GSS避免冗余计算 张昱:《编译原理和技术(H)》ANTLR解析原理 16
17. ANTLR3:LL(*)  谓词文法 𝑮 = (𝑵, 𝑻, 𝑷, 𝑺, 𝚷, ℳ)  𝑵:非终结符集合  𝑻 :终结符集合  𝑷 :产生式集合  𝑺 ∈ 𝑵 :开始符  𝚷:无副作用的 语义谓词  ℳ :动作集合 [PLDI2011]Terence Parr, Kathleen Fisher. LL(*): The Foundation of the ANTLR Parser Generator. 张昱:《编译原理和技术(H)》ANTLR解析原理 17
18. LL(*)的产生式形式  产生式的形式  𝑨 ⟶ 𝜶 𝒊  含句法谓词的产生式: 𝑨 ⟶ (𝑨 ′ 𝒊 ) ⇒ 𝜶 𝒊 仅当当前输入也匹配由𝑨 ′ 𝒊 描述的语法时, 𝑨展开成𝜶 𝒊  含语义谓词的产生式: 𝑨 ⟶ 𝝅 𝒊 ? 𝜶 𝒊 仅当到目前所构造的状态满足谓词𝝅 𝒊 时, 𝑨展开成𝜶 𝒊  动作: 𝑨 ⟶ 𝝁 𝒊 根据动作𝝁 𝒊 更新状态 张昱:《编译原理和技术(H)》ANTLR解析原理 18
19. LL(*)谓词文法的最左推导  谓词文法的最左推导规则  判断形式(judgement form)  推导规则 在当前状态仅当由 𝑨 ′ 𝒊 推导出的串w是剩 余输入串w r 的前缀 张昱:《编译原理和技术(H)》ANTLR解析原理 19
20. LL(*)  二义性的消除  指定语义谓词来消除歧义  按产生式在文法中出现的先后次序来解决歧义,冲突时 选择前面的产生式规则  谓词LL正规文法Predicated LL-regular grammars  LL正规文法与LL(k)的区别 分析器使用整个剩余输入来区分可选的产生式,而不只是k个符号 张昱:《编译原理和技术(H)》ANTLR解析原理 20
21. 文法举例  下述文法是LL(*),但不是LR(k) [PLDI2011] a : | b : C : b A+ X c A+ Y ; ; // V T ={A, X, Y} 张昱:《编译原理和技术(H)》ANTLR解析原理 21
22. Adaptive LL(*)  LL(*)的主要问题  静态不可判定  文法分析有时会找不到能区分不同产生式分支的正规式  回溯决策不能检测如下的二义性:𝑨 ⟶ 𝜶|𝜶 如果 𝜶 是使得 𝜶|𝜶 非LL(*)的文法符号序列  Adaptive LL(*) ,即 ALL(*)  动态分析:将文法分析移到parse-time,避免LL(*)静态 文法分析的不可判定性,可以为任何非左递归上下文无 关文法产生正确的分析器 张昱:《编译原理和技术(H)》ANTLR解析原理 22
23. ALL(*)  预测机制  在决策点,为每个候选产生式分支发起一个子分析器  各子分析器可以并行地探索所有可能路径  使用graph-structured stack(GSS)避免冗余计算  记忆分析结果  增量动态构建DFA,将向前看短语映射到预测产生式  ALL(*) parser分析的复杂度 𝑶(𝒏 𝟒 ) 张昱:《编译原理和技术(H)》ANTLR解析原理 23
24. ANTLR4:ALL(*)  支持的文法  ANTLR3 不支持的情况  左递归文法,但是可以自动重写成非左递归且无二义的  公共递归前缀  词法分析  支持上下文无关的记号识别,如括号匹配、嵌套注释  ALL(*)适合用于scannerless parsing  语法分析  使用类似于GLR-like机制来探索所有可能的决策路径  增量动态构建lookahead DFA 张昱:《编译原理和技术(H)》ANTLR解析原理 24
25. ALL(*)谓词文法  文法  推导规则 张昱:《编译原理和技术(H)》ANTLR解析原理 25
26. 思考题  ANTLR4 容许哪些类型的左递归?  ANTLR4 对所支持的左递归如何处理?例如,对下面 两种情况分别会怎样解析? Exp : Exp '*' Exp | Exp '+' Exp | IntConst; Exp : Exp '+' Exp | Exp '*' Exp | IntConst;  ANTLR 能为上面哪种情况构造出符号‘*’的优先级比‘+’高的表 达式解析器?这是基于ANTLR 采用的何种二义性消除规则?  如果将下面的第1行改写成第2行,那么生成的解析器源码有什 么样的变化?请理解和说明 '# Mult' 的作用和意义。 Exp : Exp '*' Exp | Exp '+' Exp | IntConst; Exp : Exp '*' Exp # Mult | Exp '+' Exp # Add | IntConst # Int ;  给出ANTLR 不支持的左递归文法的例子并分析原因 张昱:《编译原理和技术(H)》ANTLR解析原理 26

首页 - Wiki
Copyright © 2011-2024 iteam. Current version is 2.123.1. UTC+08:00, 2024-03-29 14:48
浙ICP备14020137号-1 $访客地图$