某非确定的有限自动机（NFA）的状态转换图如下图所示（q0既是初态也是终态）。以下关于该NFA的叙述中，正确的是（ ）。A.其可识别的0、1序列的长度为偶数B.其可识别的0、1序列中0与1的个数相同C.其可识别的非空0、1序列中开头和结尾字符都是0D.其可识别的非空0、1序列中结尾字符是1
某非确定的有限自动机（NFA）的状态转换图如下图所示（q0既是初态也是终态）。以下关于该NFA的叙述中，正确的是（ ）。
A.其可识别的0、1序列的长度为偶数
B.其可识别的0、1序列中0与1的个数相同
C.其可识别的非空0、1序列中开头和结尾字符都是0
D.其可识别的非空0、1序列中结尾字符是1
B.其可识别的0、1序列中0与1的个数相同
C.其可识别的非空0、1序列中开头和结尾字符都是0
D.其可识别的非空0、1序列中结尾字符是1
参考解析
解析：本题考查程序语言基础知识。若存在一条从初态到某一终止状态的路径，且这条路径上所有弧的标记符连接成的字符串等于ω，则称ω可由NFA识别（接受或读出）。对于题中给出的NFA，其初态为q0，q0上的自回路表示识别零个或多个1，接下来识别出一个0时进入状态q1，q1上的自回路表示识别零个或多个0，接下来识别出1个1之后再回到q0。例如，该自动机可识别空串（因为q0既是初态，也是终态）、01、00001、101、1、11、111、1111等。01的识别路径为q0→q1→q000001的识别路径为q0→q1→q1→q1→q1→q0101的识别路径为q0→q0→q1→q01的识别路径为q0→q011的识别路径为q0→q0→q0111的识别路径为q0→q0→q0→q01111的识别路径为q0→q0→q0→q0→q0识别字符串时必须从初始状态q0出发，并回到状态q[0]，因此对于仅由1构成的任意长度的串，在识别过程中不会离开q0。当识别出一个0而离开q0后就进入q1，此后的字符若全部为0，则会一直在q1，直到识别出一个1而回到q0，因此除了空串，该NFA识别的字符串必须以1结尾。
相关考题：
下图所示为两个有限自动机M1和M2(A是初态、C是终态)，(48)。A．M1和M2都是确定的有限自动机B．M1和M2都是不确定的有限自动机C．M1是确定的有限自动机，M2是不确定的有限自动机D．M1是不确定的有限自动机，M2是确定的有限自动机
● 有限自动机（FA）可用于识别高级语言源程序中的记号（单词），FA 可分为确定的有限自动机（DFA）和不确定的有限自动机（NFA）。若某DFA D 与某NFA M等价，则 （48） 。（48）A. DFA D 与NFA M的状态数一定相等B. DFA D 与NFA M可识别的记号相同C. NFA M能识别的正规集是DFA D 所识别正规集的真子集D. DFA D 能识别的正规集是NFA M所识别正规集的真子集
某一非确定性有限自动机(NFA)的状态转换图如图6-1所示，该NFA等价的正规式是(1)，与该NFA等价的DFA是(2)。A．0*|(0|1)0B．(0|10)*C．0*((0|1)0)*D．0*(10)*
某一非确定性有限自动机(NFA)的状态转换图如下图所示，与该NFA等价的正规式是(28)，与该NFA等价的DFA是(29)。A．0*|(0|1)0B．(0|10)*C．0*((0|1)0)*D．0*(10)*
●下图所示为一个有限自动机（其中，A是初态、C是终态），该自动机识别的语言可用正规式(48)表示。(48)A. (0|1)*01B．1*0*10*1C．1*(0)*01D.1*(0|10)*1*
● 某确定性有限自动机（DFA）的状态转换图如下图所示，令 d=0|1|2|...|9，则以下字符串中，能被该DFA 接受的是 （49） 。（49）A. 3857B. 1.2E+5C. -123.67D. 0.576E10
● 下图所示为两个有限自动机M1和M2（A是初态、C是终态）， （48） 。（48）A. M1和M2都是确定的有限自动机B. M1和M2都是不确定的有限自动机C. M1是确定的有限自动机，M2是不确定的有限自动机D. M1是不确定的有限自动机，M2是确定的有限自动机
某确定性有限自动机(DFA)的状态转换图如下图所示，令d=0|1|2|…|9，则以下字符串中，能被该DFA接受的是(22)。A．3857B．1.2E+5C．-123.67D．0.576E10
下图是一个非确定有限自动机（NFA）的状态转换图，其中，S0为初态，S3为终态，该NFA可识别字符串（）（即找出从初态到终态的路径上所标记的字符序列）A.0101B.0011C.1100D.1010
下图所示为一个不确定有限自动机（NFA）的状态转换图，与该NFA等价的 DFA是（ ）