目录



确定有限自动机
不确定有限自动机
如果输入给定值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结尾的。
所以图中对应的正规式为:
![]()
