单选题 有限状态自动机可用五元组(∑,Q,δ,q0,Qf)来描述,设有一个有限状态自动机M的定义如下:∑=0,1,Q=q0,q1,q2,Qf=q2,δ定义为:δ(q0,0)=q1,δ(q1,0)=q2,6(q2,0)=q2,δ(q2,1)=q2。M是一个 (28) 有限状态自动机,所表示的语言陈述为 (29)

单选题 A.歧义 B.非歧义 C.确定的 D.非确定的
【正确答案】 C
【答案解析】
单选题 A.由0和1所组成的符号串的集合
B.以0为头符号和尾符号,由0和1所组成的符号串的集合
C.以两个0结束的,由O和1所组成的符号串的集合
D.以两个0开始的,由0和1所组成的符号串的集合
【正确答案】 D
【答案解析】本题对应的状态转换矩阵为:
0
1
q0
q1
q1
q2
q2
q2
q2
可见,M是一个确定的有限状态自动机。
q2是终态,q0是初态,因此必须以两个0开头。故选项D描述正确。