单选题
下图是一个有限自动机的状态转换图(A为初态、C为终态),该自动机识别的字符串集合可用正规式( )来表示。


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