1. 梳理第二章的内容，写一篇理解与总结。
（1）文法涉及的基本概念，以及自己不太熟悉的概念
L={A,B, … ,Z,a,b, … ,z}
D={0,1, … ,9}
LUD：全部字母和数字的集合
LD：由一个字母后跟一个数字组成的所有符号串的集合
L4：由4个字母组成的所有符号串在集合
L*：由字母组成的所有符号串（包括ε）的集合
D+：由一个或若干个数字组成的所有符号串的集合
L(LUD)*：以字母开头，后跟字母、数字组成的所有符号串的集合
文法是描述语言的语法结构的形式规则（即语法规则）。就是指怎么由一堆符号组成一个有含义的句子的规则和协议。并且是一种上下文无关的文法。
文法例子：
上面定义英文句子的规则就可以说是一个上下文无关文法。其中，<句子>被称为开始符号，<主语><谓语><代词>之类的被称为非终结符号，He、gave之类的被称为终结符号。
归纳起来，一个上下文无关文法G包括四个部分：终结符号，非终结符号，开始符号，产生式。
更精确的定义：
（2）语法分析树与二义性
- 最右推导，每个推导过程都是从最右边的非终结符号的替换开始
- 最左推导，每个推导过程都是从最左边的非终结符号的替换开始
一个文法可以唯一确定一个语言，但是一个语言不一定唯一对应一个文法
用一种树形的图示来表示这个句型的推导过程，这棵树就被称为”语法分析树“，简称”语法树“。
列如：
对于一个文法，如果它的某些句子对应两棵不同的语法树，这个文法就属于“二义性文法”。
2. 尝试写出PL/0 语言的文法。
整数n <数字> ::= 0 | 1 | 2 | … | 8 | 9
标识符i <标识符>::=<字母>{<字母>|<数字>}
表达式e <表达式>::=[+ | -] <项> { <加法运算符><项>}
条件语句 <条件语句> ::= IF <条件> THEN <语句>
赋值语句 <赋值语句> -> <标识符> := <表达式>
复合语句 <复合语句> ::= BEGIN <语句> {;<语句>} END
函数 <函数定义> := <类型说明><函数名><复合语句>
程序 <程序> ::= <分程序>
...