确定有穷自动机(deterministic finite automata ,DFA)

是一个五元组

M=(S,∑,f,S0,F)

其中

S:有穷状态集

∑:输入字母表(有穷)

f:状态转换函数。f(S,a)=S'

是单值部分映射,每个状态面临一个输入符号时,转入的后继状态是确定的。

S0∈S:唯一初态

F∈S:终态集(可空)

 确定有穷自动机(deterministic finite automata ,DFA)_第1张图片

转载于:https://www.cnblogs.com/mznsndy/p/10712701.html

你可能感兴趣的:(确定有穷自动机(deterministic finite automata ,DFA))