说明DFA和NFA中语言的最坏情况状态数。
确定性有限自动机(DFA)是一个五元组
M=(Q, ∑, δ,q0,F)
其中,
Q - 有限状态集。
∑ - 有限字母表集。
δ - Q × ∑ → Q 是转移函数。
q0 ∈ Q 是起始状态或初始状态。
F - 结束状态或接受状态。
让我们看看语言A∩B 和 A*的DFA中状态的最坏情况数量。
假设A和B是两个状态,
|A| = 状态数 = nA
|B| = 状态数 = nB
DFA = |A∩B|
=nA.nB
|A ∪ B| =nA.nB
|A*|=3/4 2nA
|AB| = nA (2nB-2nB-1)
NFA
非确定性有限自动机(NFA)也与DFA具有五个相同的状态,但转移函数不同,如下所示:
δ: Q X ∑ -> 2Q
其中,
Q - 有限状态集。
∑ - 输入符号的有限集。
q0 - 初始状态。
F - 结束状态。
δ - 转移函数。
让我们看看语言A∩B 和 A*的NFA中状态的最坏情况数量。
假设A和B是两个状态,
|A| = 状态数 = nA
|B|= 状态数 = nB
NFA
|AUB| = nA+nB+1
|A*| = nA+1
|AB| = nA+nB
|A∩B| = nA.nB
广告