肯定性有限自動機

形式化定義 咱們用5元組 (Q,∑,δ,q0,F) ( Q , ∑ , δ , q 0 , F ) 定義肯定性有限自動機web Q Q 是狀態的有限集svg ∑ ∑ 是字母表 δ δ 是轉移函數，映射關係爲 Q×∑→Q Q × ∑ → Q q0 q 0 表示開始狀態 F⊆Q F ⊆ Q 是accept狀態集 既然有了以上定義，接下來定義一個DFA M M accepts 字符串 w w ,其中：

>>阅读原文<<