非确定有穷自动机(nondeterministic finite automata,NFA)

是一个五元组,M=(S,∑,f,S0,F)

S:有穷状态集

∑:输入字母表(有穷)

f:f(S,α)=S'

表示从一个状态S出发,识别了一个字α后,可以到达S'这个状态集合之间的某一个状态(可能的后继有多个,也可能木有)

S0:非空初态集

F:终态集(可空)

非确定有穷自动机(nondeterministic finite automata,NFA)_第1张图片

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

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