某一确定有限自动机（DFA）的状态转换图如下图所示，该DFA接受的

问题单项选择题

某一确定有限自动机（DFA）的状态转换图如下图所示，该DFA接受的字符串集是（28），与之等价的正规式是（29）。

（29）处填（）。

A．1*0（0|1）*

B．（（0|1*0）*1*）*

C．1*（（0|1）0）*

D．（1*（01*0）*）*

答案

参考答案：D

解析：

[分析]：分析题目中给出的状态转换图可知，状态q0为唯一的终态，因此该DFA可识别空串。以一个0离开状态q0然后再以一个0返回q0，因此，该自动机识别的串是包含偶数个0的二进制代码串。正规式中的运算符"|"、"· "、"*"分别称为"或"、"连接"和"闭包"。在正规式的书写中，连接运算符"· "可省略。运算的优先级从高到低顺序排列为："*"、"· "、"｜"。正规式1*0（0|1）*、（（0|1*0）*1* ）*、1*（（0|1）0）*都没有表示出偶数个零的特点，因此包含偶数个0的二进制代码串的正规式为（1*（01*0）*）*。