From: ouuan Date: Wed, 11 Sep 2019 00:54:20 +0000 (+0800) Subject: :pencil2: update automaton.md X-Git-Url: http://git.osdn.net/view?a=commitdiff_plain;h=7e315faf13b40bd6d9a5c2e9c36029b2a76c4cff;p=oi-wiki%2Fmain.git :pencil2: update automaton.md --- diff --git a/docs/string/automaton.md b/docs/string/automaton.md index b640b3af..01b20a4d 100644 --- a/docs/string/automaton.md +++ b/docs/string/automaton.md @@ -16,7 +16,7 @@ DFA 的作用就是识别字符串,一个自动机 $A$ ,若它能识别( 如果一个状态 $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: