编译技术笔记（4）

• 0.1.2.3.4型文法
• 用3识别单词，用2分析句子成分
• 自动机，五元组
• 子集构造法
• 先求一条弧便到达的后继结点，再由这些结点得到后续结点
• 用两重闭包不断生成集合，将生成的新子集，加入到I中，继续寻找新的子集，直到没有新的状态集合生成
• 对于集合的整理要转换一下思路
• 一个一个找，逐个查寻
• 各个子集之间的转换，便是确定的有限自动机
• 一个状态替代多个状态
• 状态转移矩阵，子集视为状态
• 包含终止状态的集合都是终止状态
• dfa的化简（最小化）
• 状态树最少的dfa
• 删除状态
• 合并状态
• 最小化，没有多余的状态以及互相等价的状态
• 消除多余状态，合并等价状态
• 同时到达终止状态或拒绝状态，则两状态等价，否则，不等价
• 分割法
• dfa状态分割成一些不相关的子集，同一个子集中的状态都是等价的，在各个子集中任取一个当代表
• 终态和非终态是不等价的