snowlyw的博客

形式化定义我们用5元组(Q,∑,δ,q0,F)(Q,∑,δ,q0,F)(Q,\sum,\delta,q_0,F)定义确定性有限自动机QQQ是状态的有限集∑∑\sum 是字母表δδ\delta是转移函数，映射关系为Q×∑→QQ×∑→QQ×\sum \rightarrow Qq0q0q_0表示开始状态F⊆QF⊆QF \subseteq Q是accept状态集既然有了以上定义，接下来定...

对比确定性有限自动机（DFA）DFA：当给定了当前所在状态，在遇到一个字符之后，我们就可以确定要向哪一个状态转移。打个比方，就是在我们当前位置没有岔路口，没有给我们多选的机会。 NFA：NFA即不确定性有限自动机（nondeterminism finite automaton）,它允许我们在遇到一个状态时可以有多条转移路径可以选择。特殊的是，它允许我们不读入任何字符就进行状态转移（此操作称为...

广告：我的博客每个NFA都有一个等价的DFA证明思路（NFA转DFA的方法）我们要证明NFA和DFA等价，因为DFA是NFA的一般化，所以NFA一定可以模拟DFA，因此我们需要做的是用DFA模拟NFA。因为NFA在当前状态读到一个字符后可以有多条路可以走,所以模拟该NFA的DFA将有2k2k2^k个状态，每个状态都是NFA状态集的幂集的一个元素。具体操作在证明过程中。证明...