• 程序执行时的存储器组织 • 动态存储 • 完全静态运行时环境 • 参数传递机制 • 基于栈的运行时环境 • TINY语言的运行时环境

• 属性和属性文法 • 数据类型和类型检查 • 属性计算算法 • TINY语言的语义分析 • 符号表

• 自底向上分析概览 • Yacc: LALR(1)分析程序的生成器 • LR(0)项的有穷自动机及L R ( 0 )分析 • 使用Ya c c生成T I N Y分析程序 • SLR(1)分析 • 自底向上分析程序中的错误校正 • 一般的L R ( 1 )和L A L R ( 1 )分析

• 使用递归下降分析算法进行自顶向下的分析 • TINY语言的递归下降分析程序 • LL(1)分析 • 自顶向下分析程序中的错误校正 • First 集合和F o l l o w集合

• 分析过程 • 扩展的表示法：E B N F和语法图 • 上下文无关文法 • 上下文无关语言的形式特性 • 分析树与抽象语法树 • TINY语言的语法 • 二义性

• 扫描处理 • 从正则表达式到D FA • 正则表达式 • TINY扫描程序的实现 • 有穷自动机 • 利用L e x自动生成扫描程序

经过词法分析、语法分析后，源程序在静态结构上的正确性得到了保证，编译程序接着需作静态语义检查以及翻译，真正实现不同程序语言的代码间的等价变换

§1.课程信息 §2.编译程序概述 §3.高级语言的语法描述 预备知识 上下文无关文法及其语言的形式定义 文法的等价性 语法树及文法二义性 文法的类型 语法分析的一些思考

西北工业大学：《编译原理》课程教学资源（PPT课件）编译原理总结

西北工业大学：《编译原理》课程教学资源（PPT课件）编译原理知识点回顾（主讲：林奕）