1. NFA确定化
确定化算法步骤如下:
- 拿出初始状态以及初始状态经过空边所能到达的节点,将其组成为一个状态
- 将初始状态填入状态转换矩阵的第一行,然后寻找对于每一个输入的目标状态闭包,
寻找闭包的时候,要首先把对于输入能到达的节点先加入进来,然后对所有点寻找等价的节点
,填入对应列,对于没有在左行中出现过的状态填入左行,然后重复该步骤
2. DFA最简化
步骤如下:
- 将终止状态和非终止状态分成两个组,然后对于每个组的内部,判断对不同的输入是否都能进入相同的状态,
注意,这里是进入相同的状态而不是相同组
如果能,则不必再分,如果不能,就按照进入状态继续分组 - 这里需要注意如果在前一步某个组被分成了两个组,那么在这一步还要继续判断这两个组的内部输入情况