2. 计算机
  3. 有限状态自动机可用5元组(VT，Q，δ，q0，Qf)来描述，它可对应于(28)。设有一有限状态自动机M的定义如下： VT＝{0，1}，Q＝{q0，q1，q2) δ定义为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，

有限状态自动机可用5元组(VT，Q，δ，q0，Qf)来描述，它可对应于(28)。设有一有限状态自动机M的定义如下： VT＝{0，1}，Q＝{q0，q1，q2) δ定义为： δ(q0，0)=q1 δ(q1，0)=q2 δ(q2，

admin2019-03-04  28
问题 有限状态自动机可用5元组(VT，Q，δ，q0，Qf)来描述，它可对应于(28)。设有一有限状态自动机M的定义如下：
   VT＝{0，1}，Q＝{q0，q1，q2)
   δ定义为：
   δ(q0，0)=q1    δ(q1，0)=q2
   δ(q2，1)=q2    δ(q2，1)=q2
   Qf={q2}。
   M是一个(29)有限状态自动机，它所对应的状态转换图为(30)，它所能接受的语言可以用正则表达式表示为(31)，其含义为(32)。
选项 A、由0和1所组成的符号串的集合
B、以0为头符号和尾符号，由0和1所组成的符号串的集合
C、以两个0为结束的，由0和1所组成的符号串的集合
D、以两个0为开始的，由0和1所组成的符号串的集合
答案D
解析 由本节练习2的分析，我们知道本题给出的有限状态自动机对应于3型文法。
   有限自动机分为确定的有限自动机和非确定的有限自动机。确定的有限自动机的确定性表现在映射δ：VT×Q→Q是一个单值函数，即对任何状态q∈Q和输入字符α∈VT，映射δ(q，α)唯一确定下一个状态。由分析可知本题给出的是一个确定的有限自动机，根据6的定义，可得出它的状态转换图是(15)空的选项B。
   由状态转换图可以看出，输入1个0，则由状态q0转换到状态q1。然后再输入1个0，则由状态q1转换到状态q2。在状态q2的基础上，不管是输入多少个0或1，其状态保持不变。因此，它所能接受的语言可以用正则表达式表示为00(0|1)*，其含义为由两个0开始的后跟任意个(包含0个或多个)0或1组成的符号串的集合。
转载请注明原文地址:https://kaotiyun.com/show/fPTZ777K
本试题收录于： 数据库系统工程师上午基础知识考试题库软考中级分类
0

数据库系统工程师上午基础知识考试

软考中级

相关试题推荐
随机试题
最新回复(0)