有穷自动机有了非确定性 增加了它识别语言的能力。
已帮助 人
回答
共1条回复-
(1)确定的有穷自动机表示为一个五元组:M=(K,S,f,S,Z),其中:
①K是一有穷状态集;
②S是一有穷字母表,称输入符号字母表;
③f是转换函数,是在K´S→K上的映射。如f(ki,a)=kj;
④S是唯一的一个初态;
⑤ZÌK,是一终态集,终态也称结束态或可接受态。
(2)不确定的有穷自动机用五元组表示为NFA M=(K,S,f,S,Z),其中:
①K是一有穷状态集;
②S是一有穷字母表,称输入符号字母表;
③f是转换函数,是在K´S*→K的子集上的映射;
④S是初态集;
⑤ZÌK,是一终态集,终态也称结束态或可接受态。

