问题
单项选择题
已知正规表达式r=(0|1)*00， (1) 在L(r)中，和r等价的确定的有限自动机DFAM是 (2) 。
1（）
A．0000
B．0001
C．0010
D．0011
答案
参考答案：A
解析：
r=(0|1)*00，显然只有以00结尾的才可能在L(r)中。
首先选项A、B对应的自动机不是确定的，对于选项A，状态1在输入为0时可转移到状态0和状态2；选项B，状态0在输入为0时可转移到状态0和状态1。
仔细分析选项C、D，它们的差别就是状态0的转移情况，显然选项D是符号题意的。
