1.文法
认识终结符和非终结符
- 非终结符为大写字母
- 终结符为小写字母
- 终结符不能单独出现在左边
文法的类型
- 0型文法：左边至少含有一个终结符
- 1型文法：（上下文有关文法）右边的元素个数大于等于左边的元素个数
- 2型文法：（上下文无关文法）左边的元素都为终结符
- 3型文法：（正规文法）右边的元素要么符合右线性要么符合左线性
如何判断一个串是否为某个文法的句型
- 构造推导树和直接进行推导
2.正规式
正规式与正规文法之间的转换
需要会比较相同的正规式化简
规则1：A->xB，B->y ——— A=xy
规则2：A->xA|y ——— A=x*y
规则3：A->x，A->y ——— A=x|y
3.有限自动机（有穷自动机）
NFA与DFA的定义（掌握DFA到NFA的转化，有点难）
- 一个确定的有限自动机（NFA）的定义：一个确定的有限状态自动机M（记做DFAM）是一个五元组：
1.S是一个有限状态集合；
2.Σ是一个字母表，他的每个元素称为一个输入字符；
3.f是一个从S×Σ*的子集映照。
4.S∈S，是一个非空初态集
5.Z∈S，是一个终态集
4.语法推导树
掌握语法推导树的画法，难点短语、简单短语、句柄
5.算符优先
有点难暂时理解不了，以后再进行补充