有限状态自动机可用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) 。
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) 。
【正确答案】
D
【答案解析】
【正确答案】
C
【答案解析】
单选题
注：其中“-”表示开始状态，“+”表示终止状态。
【正确答案】
B
【答案解析】
【正确答案】
B
【答案解析】
【正确答案】
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组成的符号串的集合。
由本节练习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组成的符号串的集合。