某非确定的有限自动机(NFA)的状态转换图如下图所示(q 0 既是初态也是终态)。以下关于该NFA的叙述中,正确的是____________。
【正确答案】 D
【答案解析】解析:本题考查程序语言基础知识。 若存在一条从初态到某一终止状态的路径,且这条路径上所有弧的标记符连接成的字符串等于(ω,则称ω可由NFA识别(接受或读出)。 对于题中给出的NFA,其初态为q 0 ,q 0 上的自回路表示识别零个或多个1,接下来识别出一个0时进入状态q 1 ,q 1 上的自回路表示识别零个或多个0,接下来识别出1个1之后再回到q 0 。 例如,该自动机可识别空串(因为q 0 既是初态,也是终态)、01、00001、101、l、11、111、1111等。 01的识别路径为q 0 ->q 1 ->q 0 00001的识别路径为q 0 ->q 1 ->q 1 ->q 1 ->q 1 ->q 0 101的识别路径为q 0 ->q 0 ->q 1 ->q 0 1的识别路径为q 0 ->q 0 11的识别路径为q 0 ->q 0 ->q 0 111的识别路径为q 0 ->q 0 ->q 0 ->q 0 1111的识别路径为q 0 ->q 0 ->q 0 ->q 0 ->q 0 识别字符串时必须从初始状态q 0 出发,并回到状态q 0 ,因此对于仅由1构成的任意长度的串,在识别过程中不会离开q 0 。当识别出一个0而离开q 0 后就进入q 1 ,此后的字符若全部为0,则会一直在q 1 ,直到识别出一个1而回到q 0 ,因此除了空串,该NFA识别的字符串必须以1结尾。