0 , r_1 , r_2 , \cdots , r_m \, \}
, 这个序列中的状态有很多重复的 , 这是自动机的执行序列 , 途径的状态 , 所有的状态都属于
Q
; 这是 自动机
M...上述条件满足如下计算 :
① 自动机起始状态 :
r_0 = q_0
, 自动机
M
开始时 , 是
q_0
起始状态 , 相当于上图中的 Start 状态 ; 这也是为什么状态序列比输入信息序列多一个原因...a
开头 , 以
a
结尾的字符串 , 最后才能进入接受状态 ;
3 ....: 右侧分支 , 主要接受 以
b
开头 , 以
b
结尾的字符串 , 最后才能进入接受状态 ;
4 ....自动机 总体分析 : 自动机
M
接受相同开头 和 相同结尾的 字符串 ;
5 .