陈述一种语言在 DFA 和 NFA 中最坏情况的状态数?
确定性有限自动机(DFA)是一个五元组
M=(Q,∑,δ,q0,F)
在哪里,
Q-称为状态的有限集。
∑-称为字母表的有限集。
δ−Q×∑→Q是转移函数。
q0∈Q是开始或初始状态。
F-最终或接受状态。
让我们看看语言A∩B和A*的DFA中最坏情况的状态数
设A和B为两个状态,
|A|=状态数=nA
|乙|=状态数=nB
DFA=|A∩B|
=nA.nB
|A∪B|=nA.nB
|A*|=3/42nA
|AB|=nA(2nB-2nB-1)
NFA
非确定性有限自动机(NFA)也有五个与DFA相同的状态,但具有不同的转换函数,如下所示-
δ:QX∑->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