如果一个状态 $v$ 没有字符 $c$ 的转移，那么我们令 $\delta(v,c)=null$ ，而 $null$ 只能转移到 $null$ ，且 $null$ 不属于接受状态集合。无法转移到任何一个接受状态的状态都可以视作 $null$ ，或者说， $null$ 代指所有无法转移到任何一个接受状态的状态。
-我们扩展定义转移函数 $\delta$ ，令其第二个参数可以接收一个字符串： $\delta(v,s)=\delta(\delta(v,s[0]),s[1..|s|-1])$ ，这个扩展后的转移函数就可以表示从一个状态起接收一个字符串后转移到的状态。那么， $A(s)=[\delta(start,s)\in F]$ 。
+我们扩展定义转移函数 $\delta$ ，令其第二个参数可以接收一个字符串： $\delta(v,s)=\delta(\delta(v,s[1]),s[2..|s|])$ ，扩展后的转移函数就可以表示从一个状态起接收一个字符串后转移到的状态。那么， $A(s)=[\delta(start,s)\in F]$ 。
如，一个接受且仅接受字符串 "a", "ab", "aac" 的 DFA：
OSDN Git Service
