文法分析-南京大学计算机科学系.pptx

第四章 语法分析;程序设计语言构造的描述;语法分析器的作用;语法分析器的分类;上下文无关文法;上下文无关文法的例子;文法书写的约定;文法简单形式的例子;推导（1）;推导（2）;句型/句子/语言;语法分析树;语法分析树的例子;从推导序列构造分析树;构造分析树的例子;二义性（1）;二义性（2）;证明文法生成的语言;文法生成语言的例子（1）;文法生成语言的例子（2）;上下文无关文法和正则表达式（1）;上下文无关文法和正则表达式（2）;NFA构造文法的例子;设计文法;二义性的消除(1);二义性的消除(2);左递归的消除;立即左递归的消除;通用的左递归消除方法;通用左递归消除的例子;预测分析法简介;提取公因子的文法变换;提取公因子的例子;非上下文无关语言的构造;自顶向下的语法分析;自顶向下分析的例子;递归下降的语法分析;递归下降分析技术的回溯;递归下降分析中回溯的例子;FIRST和FOLLOW（1）;FIRST和FOLLOW（2）;FIRST的计算方法;FOLLOW的计算方法;FIRST/FOLLOW的例子（1）;FIRST/FOLLOW的例子（2）;LL(1)文法（1）;LL(1)文法（2）;预测分析表构造算法;预测分析表的例子;预测分析表冲突的例子;LL(1)文法的递归下降分析;非递归的预测分析（1）;非递归的预测分析（2）;分析表驱动的预测分析器;预测分析算法;分析表驱动预测分析的例子;预测分析中的错误恢复;恐慌模式;同步词法单元的确定;恐慌模式的例子（1）;恐慌模式的例子（2）;短语层次的恢复;自底向上的语法分析;分析过程示例;归约;归约的例子;句柄剪枝;句柄的例子;移入-归约分析技术;主要分析动作;归约分析过程的例子;为什么句柄总是在栈顶？（1）;移入-归约分析中的冲突;归约/归约冲突的例子;LR语法分析技术;LR语法分析器的优点;LR(0)项;项和最右推导的关系;NFA运行和句柄的关系;规范LR(0)项集族的构造;CLOSURE(I)的构造算法（1）;构造算法的伪代码描述;闭包构造的例子;LR(0)项集中的内核项和非内核项;GOTO函数;求LR(0)项集规范族的算法;;LR(0)自动机的构造;LR(0)自动机的作用（1）;LR(0)自动机的作用（2）;LR(0)的作用演示：分析id*id;LR语法分析器的结构;LR语法分析表的结构;LR语法分析器的格局;LR语法分析器的行为;LR语法分析算法;LR分析表的例子;LR分析过程的例子;SLR语法分析表的构造;SLR分析表构造的例子;非SLR(1)文法的例子;SLR的原理：可行前缀（1）;SLR的原理：可行前缀（2）;SLR的原理：可行前缀（3）;活前缀/有效项的例子;SLR语法分析器的弱点（1）;SLR语法分析器的弱点（2）;更强大的LR语法分析器;LR(1)项;LR(1)项和可行前缀;可行前缀和LR(1)有效项的例子;构造LR(1)项集;LR(1)项集的CLOSURE算法;LR(1)项集的GOTO算法;LR(1)项集族的主构造算法;LR(1)项集族的例子;LR(1)项集的GOTO图;LR语法分析表的构造;LR(1)语法分析表的例子;构造LALR语法分析表;LR(1)语法分析表的合并;LALR分析技术的基本思想;合并引起的冲突;合并引起归约/归约冲突的例子;基本的LALR分析表构造算法;LALR分析表的例子（1）;LALR分析表的例子（2）;LALR分析表的例子（3）;LALR分析表的高效构造算法;LALR项中的向前看符号;;确定自发生成/传播关系;确定向前看符号的算法;LALR项集族中向前看符号的计算;具体算法;构造LALR项集的例子（1）;构造LALR项集的例子（2）;构造LALR项集的例子（3）;构造LALR项集的例子（4）;二义性文法的使用;优先级/结合性消除冲突;二义性表达式文法的LR(0)项集;冲突的原因以及解决;解决冲突之后的SLR(1)分析表;悬空else的二义性;LR语法分析中的错误恢复（1）;LR语法分析中的错误恢复（2）;语法分析器生成工具YACC;YACC源程序的结构;翻译规则的格式;YACC源程序的例子;YACC中的冲突处理;YACC的错误恢复