确定有限状态机(deterministic finite automaton/dfa)是一个数学计算模型,组成部分是一个5元组:
有限的状态集Q
有限的输入符号S,又被称作alphabet(跟我们熟知的英文字母表应该不一样,是个引申)
状态变换函数F,F:S 𝗑 Q -> Q
初始状态s0,s0 ∈ Q
接纳状态集Z,Z ⊆ Q
Read full article from 跳跳爸的Abc
确定有限状态机(deterministic finite automaton/dfa)是一个数学计算模型,组成部分是一个5元组:
有限的状态集Q
有限的输入符号S,又被称作alphabet(跟我们熟知的英文字母表应该不一样,是个引申)
状态变换函数F,F:S 𝗑 Q -> Q
初始状态s0,s0 ∈ Q
接纳状态集Z,Z ⊆ Q
Read full article from 跳跳爸的Abc
No comments:
Post a Comment