DFA(deterministic finite automaton )有限状态机概念

DFA(deterministic finite automaton )有限状态机,是一个常见的计算机概念,在离散数学和《计算机系统概论》中都有阐述,最近刚好离散数学在学这个,整理一下,供大家参考。


DFA是一个含5个元素的元祖(S, q0, T, F, Σ)

S:状态的集合

q0:初始化状态

T:过渡方式?(transition function,此处翻译的不大准确)

F:结束状态的集合

Σ:全部的字母表

以上是概念,不过没图说个啥劲

DFA(deterministic finite automaton )有限状态机概念_第1张图片

比如说图G1就是一个DFA图,那么

S:{0,1,2}  

q0:{0}  

T:此处可以列个表

state/letter a b
0 1 0
1 2 0
2 2 2

F:{2}

Σ:{a,b}

你可能感兴趣的:(DFA(deterministic finite automaton )有限状态机概念)