单选题 在图所示的有限自动机中,0是初始状态,3是终止状态,该自动机可以识别______。
【正确答案】 A
【答案解析】[解析] 本题主要考查有限自动机。有限自动机可分为确定的有限自动机和不确定的有限自动机。其中不确定有限状态自动机与确定有限状态自动机的最大区别是它们的转移函数不同,确定有限状态自动机对每一个可能的输入只有一个状态的转移,不确定有限状态自动机对每一个可能的输入可以有多个状态转移,接受到输入时从这多个状态转移中非确定地选择一个。 在题目中,0是初始状态,3是终止状态,通过选项中的字符串可以从初始状态到达终止状态,则说明该字符串能被题目中的自动机识别。也可以理解为依次输入选项中的字符串,可以在该自动机中找到相应的路径。 对于选项A的字符串aabb,通过a可以达到状态2,然后通过a可以达到状态1,又经过b到底状态2,最后经过b达到终止状态,这时字符串输入完成,状态停留在终态,因此A可被该自动机识别。同样的道理,我们可以其他选项都不能被该自动机识别。