问题
单项选择题
有限状态自动机可用5元组(VT，Q，δ，q0，Qf)来描述，它可对应于 (1) 。设有一有限状态自动机M的定义如下：
VT＝0，1，Q＝q0，q1，q2)
δ定义为：
δ(q0，0)=q1 δ(q1，0)=q2
δ(q2，1)=q2 δ(q2，1)=q2
Qf=q2。
M是一个 (2) 有限状态自动机，它所对应的状态转换图为 (3) ，它所能接受的语言可以用正则表达式表示为 (4) ，其含义为 (5) 。
5（）
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组成的符号串的集合。