下图是一个非确定有限自动机（NFA）的状态转换图，其中，S0为初态，S3为终态，该NFA可识别字符串（）（即找出从初态到终态的路径上所标记的字符序列） A.0101 B.0011 C.1100 D.1010

本题考查程序语言基础知识。若存在一条从初态到某一终止状态的路径，且这条路径上所有弧的标记符连接成的字符串等于ω，则称ω可由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结尾。

本题考查有限自动机这一知识点。容易看出，能被题中不确定的有限自动机接受的符号串有两种情形，一种是???表示的符号串，另一种是(ba)?符号串。在四个选项中，只有A选项的有限自动机能同时接受???和(ba)?这两种符号串，故本题选择A选项。

本题考查程序设计语言中简单算法的知识。对于S0来说，输入任意的a都可以，也可以输入任意的b，但必须有一个a才能到达状态S1, 但是S1到S2，S2到S3必须是bb，所以为B。故正确答案为：B

将选项依次带入图中，注意该自动机可以识别空字符。

将选项分别带入判断。

一个有限自动机所识别的语言是从开始状态到终止状态所有路径上的字符串的集合。要判断一个字符串能否被指定的自动机识别，就看在该自动机的状态图中能否找到一条从开始状态到达终止状态的路径，且路径上的字符串等于需要识别的字符串。从图中看，首先要识别字符0，然后最终要识别的也是字符0，中间识别1或者2，可以0次或者无穷次。

选项依次带入，能从初态最后到终态的只有A。

本题可以直接以实例方式排除错误选项。本题给出的NFA，能够识别字符串000,010等，以这两个字符串为例进行分析。与之等价的DFA，也必须能够识别这样的串。A选项不能识别000，B选项不能识别010，D选项不能识别010.只有C选项能够同时识别这2个串，因此本题选择C选项

将四个选项分别带入可以得出答案。

由答案可知以0开始以0结尾，所以只有A符合。

NFA可以有000状态，因此排除A；NFA可以有010状态，可以排除BD。