单选题 某一确定有限自动机(DFA)的状态转换图如下图,与该自动机等价的正规表达式是______,图中______是可以合并的状态。
单选题 A.ab*a B.ab|ab*a C.a*b*a D.aa*|b*a
【正确答案】 A
【答案解析】可以合并的状态是指对所有可能的输入转换到相同的状态。
对应状态转移矩阵为:
a
b
0
1
1
2
3
3
2
3
2
可见,状态1和状态3可以合并。
状态0是初态,状态2是终态。通过a由状态0转到状态1,状态1和状态3到状态2需要通过a。因此,正规表达式应以a开头、以a结束。中间只有b。故应选A。
单选题 A.0和1 B.2和3 C.1和2 D.1和3
【正确答案】 D
【答案解析】