肯定性有限自动机

形式化定义 咱们用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 ,其中：

>>阅读原文<<