1. 语法分析
1.1 上下文无关文法的定义
---- 正规式能定义一下简单的语言，能表示给定结构的固定次数的重复或者没有指定次数的重复
例如：a(ba)5,a(ba)*
---- 正规式不能用于描述配对或嵌套的结构
例如1：配对括号串的集合
例如2：{wcw|w是a和b的串}
1.2 上下文无关文法是四元组（VT，VN，S,P）
终结符集合
非终结符集合
开始符号，非终结符中的一个
产生式集合，产生式形式：A→α
分析树
二义性
对结构有两种不同的观点
2. 语言和文法
* 文法的优点
---- 文法给出了精确的，易于理解的语法说明
----- 自动产生高效的分析器
----- 可以给出语言定义出层次结构
----- 以文法为基础的语言的实现便于语言的修改
* 文法的问题
---- 文法只能描述编程语言的大部分语法，不能描述语言中上下文有关的语法特征
2.1 正规式和上下文无关文法的比较
2.2 分离词法分析器理由
* 为什么要用正规式定义词法
---- 词法规则非常简单，不必用上下文无关文法
---- 对于词法记号，正规式描述简介且易于理解
从软件工程角度看，词法分析和语法分析的分离有如下好处
---- 简化设计
----- 编译器的效率会改进
---- 编译器的可移植性加强
---- 便于编译器前段的模块划分
* 是否把词法分析并与语法分析中，直接从字符流进行语法分析
---- 若把词法分析和语法分析合在一起，则必须将语言的注释和空白的规则反应在文法中，文法将大大复杂
---- 注解和空白由自己来处理的分析器，比注解和空格已由词法分析器删除的分析器要复杂得多
2.3 验证文法产生的语言
2.4 适当的表达式文法
2.5 消除二义性
2.6 消除左递归
