下图是一个有限自动机的状态转换图(A为初态、C为终态),该自动机识别的字符串集合可用正规式( )来表示。
A.(1|2)*00
B.0(1|2)*0
C.(0|1|2)*
D.00(1|2)*
正确答案是B