NFA的等效DFA达到最大大小的条件是什么？
我们知道DFA在表达能力上等同于NFA。还有一种已知算法的NFA转换成有限自动机（可惜我现在知道算法的发明者），在最坏的情况下为我们提供了2S2S2^S状态，如果我们的NFA有SSS的状态。 我的问题是：什么决定最坏的情况？ 这是模棱两可的情况下算法的转录： 令为NFA。我们构建了一个DFA 甲' = （Q '，Σ ，δ '，q ' 0，˚F '），其中A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q,\Sigma,\delta,q_0,F)A′=(Q′,Σ,δ′,q′0,F′)A′=(Q′,Σ,δ′,q0′,F′)A' = (Q',\Sigma,\delta',q'_0,F') ，Q′=P(Q)Q′=P(Q)Q' = \mathcal{P}(Q) ，F′={S∈Q′|F∩S≠∅}F′={S∈Q′|F∩S≠∅}F' = \{S \in Q' | F \cap S \neq \emptyset \} ，和δ′(S,a)=⋃s∈S(δ(s,a)∪δ^(s,ε))δ′(S,a)=⋃s∈S(δ(s,a)∪δ^(s,ε))\delta'(S,a) =\bigcup_{s \in S} (\delta(s,a) \cup \hat \delta(s,\varepsilon)) ，q′0={q0}∪δ^(q0,ε)q0′={q0}∪δ^(q0,ε)q'_0 = \{q_0\} \cup \hat \delta(q_0, \varepsilon) 其中δ是所述扩展过渡函数甲。δ^δ^\hat\deltaAAA