赞
踩
目录
确定有限自动机
不确定有限自动机
如果输入给定值a,它的状态一定转移,那么就是确定自动机。
输入字符后,状态可能转移,也有可能不转移,这就是非确定自动机。
S0:标表示初始。
两个圈:表示结束。
(1)
由图可知,字符串一定是以“abb”结尾的。
S0输入a可能转移到S1,也可能返回本身S0,所以可在S0处输入多个a才能转移到S1。
S0输入b返回S0,但是不确定前面有几个a.
所以图中对应的正规式为:
(2)
S0输入a一定转移到状态S1,所以字符串是以a开头的。
S1处不确定要输入多少个b,可能是0个,也可能是n个。
S1输入a一定转移到状态S2,所以字符串是以a结尾的。
所以图中对应的正规式为:
Copyright © 2003-2013 www.wpsshop.cn 版权所有,并保留所有权利。