
思想
使用DFA去模拟DFA

简单构造例子

首先0,1,2,4,7是立刻转移的目的,因此无法区分,以此作为初始状态。
- 遇到a可以转移到
3,8,遇到转移到6,7,1,4,2,因此一共可以转移到3,8,6,7,1,4,2- 再遇到a可以转移到
3,6,7,1,2,4,8和上一次一样 - 再遇到b可以进入
5,6,7,1,2,4,9
- 再遇到a可以转移到
- 同理,遇到b可以转移到
5,6,7,1,2,4- 再遇到a可以到达:
3867142 - 再遇到b可以到达:
567124,为自身
- 再遇到a可以到达:
- 一直进行下去,直到终止状态(这里是到达10)


闭包
在一个集合上判断
不断地对集合做运算,直到无论如何做运算,运算结果都等于自身,即,此时将x称作f的不动点
闭包
原理
- 初始状态:-closure
- 转移函数:-closure(move
- 接受状态集:
复杂度分析
最坏情况下,
复杂例子
长度 个字符的串,且倒数第个字符是
此时
