image.png

思想

使用DFA去模拟DFA

image.png

简单构造例子

image.png

首先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
  • 同理,遇到b可以转移到5,6,7,1,2,4
    • 再遇到a可以到达:3867142
    • 再遇到b可以到达:567124,为自身
  • 一直进行下去,直到终止状态(这里是到达10)

image.png

image.png

闭包

在一个集合上判断

不断地对集合做运算,直到无论如何做运算,运算结果都等于自身,即,此时将x称作f的不动点

闭包

原理

  • 初始状态-closure
  • 转移函数-closure(move
  • 接受状态集

复杂度分析

最坏情况下,

复杂例子

长度 个字符的串,且倒数第个字符是

此时

image.png