有限自动机理论CH3PART2.ppt

存储第一个字符 δ(start，a)=[q，a] δ(start，b)=[q，b] δ(start，c)= [q，c] 扫描 δ([q，a]，b)=[q，a] δ([q，a]，c)=[q，a] δ([q，b]，a)=[q，b] δ([q，b]，c)=[q，b] δ([q，c]，a)=[q，c] δ([q，c]，b)=[q，c] 其中 start 是开始状态 [q，a]、 [q，a]和[q，c] 是接收状态 有限状态自动机的基本结构和模型并没有改变 但使用n元组表示一个状态更为直观和方便。 思 考：构造FA接收 最后一个字符仅出现一次的语言 其中，?={a，b，c} 提示：需要存储的信息是？ * 这样的例子前面已经出现过，如图6-13 该自动机识别的语言L={aa，ab}是一个右线性语言；但M不是有限状态自动机， 因为：δ(S， a)= {Q1，Q2}，即δ(S， a)没有到达一个确定的状态。 称这种自动机为不确定的有限状态自动机。 FSAM称为确定的有限状态自动机。 * 因此，基本的状态转移为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，0)=q3 其他状态转移为： δ(q0，1)=q0 δ(q1，1)=q0 δ(q2，1)=q0 δ(q3，0)=q3 δ(q3，1)=q3 * 因此，基本的状态转移为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，0)=q3 其他状态转移为： δ(q0，1)=q0 δ(q1，1)=q0 δ(q2，1)=q0 δ(q3，0)=q3 δ(q3，1)=q3 * 因此，基本的状态转移为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，0)=q3 其他状态转移为： δ(q0，1)=q0 δ(q1，1)=q0 δ(q2，1)=q0 δ(q3，0)=q3 δ(q3，1)=q3 * 因此，基本的状态转移为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，0)=q3 其他状态转移为： δ(q0，1)=q0 δ(q1，1)=q0 δ(q2，1)=q0 δ(q3，0)=q3 δ(q3，1)=q3 * 因此，基本的状态转移为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，0)=q3 其他状态转移为： δ(q0，1)=q0 δ(q1，1)=q0 δ(q2，1)=q0 δ(q3，0)=q3 δ(q3，1)=q3 * 因此，基本的状态转移为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，0)=q3 其他状态转移为： δ(q0，1)=q0 δ(q1，1)=q0 δ(q2，1)=q0 δ(q3，0)=q3 δ(q3，1)=q3 * 因此，基本的状态转移为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，0)=q3 其他状态转移为： δ(q0，1)=q0 δ(q1，1)=q0 δ(q2，1)=q0 δ(q3，0)=q3 δ(q3，1)=q3 * 因此，基本的状态转移为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，0)=q3 其他状态转移为： δ(q0，1)=q0 δ(q1，1)=q0 δ(q2，1)=q0 δ(q3，0)=q3 δ(q3，1)=q3 * 因此，基本的状态转移为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，0)=q3 其他状态转移为： δ(q0，1)=q0 δ(q1，1)=q0 δ(q2，1)=q0 δ(q3，0)=q3 δ(q3，1)=q3 * 因此，基本的状态转移为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，0)=q3 其他状态转移为： δ(q0，1)=q0 δ(q1，1)=q0 δ(q2，1)=q0 δ(q3，0)=q3 δ(q3，1)=q3 定义3-22 Mealy机是一个六元式： Mealy M=(Q,∑,△,δ，λ, q0) 其中 Q，∑，q0，δ的含义同FA △：输出字母表 输出函数λ：Q×∑→△ 对于q∈Q，x∈∑，a∈△ λ(q，x)=a 表示Moore机在状态q,读入字母x时，输出a Mealy机在读入输入串的过程中， 状态不断发生改变， 并且在读入某个字母时， Mealy机都有输出。 对于输入序列a1a2a3…an-1an 设 δ(q0,a1)= q1 δ(q1,a2)= q