●例62有限状态自动机FSAM=({q0,q}, {0,1},5,q0,{q0}),其中δ为: 表示为函数形式: ●b(q0,0)=q1;8(q0,1=q1; ●8(q1,0)=q1;8(q1,1=q0;
⚫ 例6-2 有限状态自动机FSAM=({ q0,q1}, {0,1},δ,q0,{q0}),其中δ为: ⚫ 表示为函数形式: ⚫ δ(q0,0)=q1;δ(q0,1)=q1; ⚫ δ(q1,0)= q1;δ(q1,1)= q0;
●或者表示为状态矩阵的形式。如图6-2所 小 01 g0 q q 0
⚫ 或者表示为状态矩阵的形式。如图6-2所 示。 ⚫ Q 0 1 ⚫ q0 q1 q1 ⚫ q1 q1 q0 ⚫
省表示为状态图的形式如图63所示。 状态图是,个有闻、有循环的图。一个节点 表示一个状态;若有6(q,X)=q,则 ●状态q到状态q有一条有向边,并用字母x作 标记
⚫ 或者表示为状态图的形式。如图6-3所示。 ⚫ 状态图是一个有向、有循环的图。一个节点 表示一个状态;若有δ(q,x)= q′,则 ⚫ 状态q到状态q′有一条有向边,并用字母x作 标记
个圆圈代表一个状态,’→’指向的状 态是开始状态,两个圆圈代表的状态是接 收状态;在比较明确的情况下,可以用状 态图表示一个有限状态自动机,而有向边 的数目就是状态转换函数的个数
⚫ 一个圆圈代表一个状态,’→’指向的状 态是开始状态,两个圆圈代表的状态是接 收状态;在比较明确的情况下,可以用状 态图表示一个有限状态自动机,而有向边 的数目就是状态转换函数的个数
6.2有限状态自动机识别语言 ●定义6-3有限状态自动机接收串的定义 ●对于有限状态自动机M,给定字母表∑上 的串w=w;W2Wn;初始时,自动机M处于开 始状态q0;从左到右逐个字符地扫描串W 在δ(q,W)=q1的作用下,自动机M处于 状态q1,在8(q1,W2)=g2的的作用下,自 动机M处于状态q2,…;
6.2 有限状态自动机识别语言 ⚫ 定义6-3 有限状态自动机接收串的定义 ⚫ 对于有限状态自动机M,给定字母表∑上 的串w=w1 w2…wn;初始时,自动机M处于开 始状态q0;从左到右逐个字符地扫描串w; 在δ(q0,w1 )= q1的作用下,自动机M处于 状态q1,在δ(q1,w2 )=q2的的作用下,自 动机M处于状态q2,…;