最小DFA中具有输入符号{0,1,2}的状态数是多少,其中第二个最后一个符号是1?

时间:2015-11-01 09:15:12

标签: expression regular-language computation-theory dfa

四个选项: -

  

一个。 8

     

B中。 9

     

℃。 6

     

d。无

有人可以用图解说明答案吗。

2 个答案:

答案 0 :(得分:1)

接受的答案是错误的。考虑以下语言的最小DFA:

q    e    q'
q0   0    q0
q0   1    q1
q0   2    q0
q1   0    q2
q1   1    q3
q1   2    q2
q2   0    q0
q2   1    q1
q2   2    q0
q3   0    q2
q3   1    q3
q3   2    q2

另一个答案错误的原因是因为在这种语言中符号0和2之间没有真正的区别。符号也可以是“1”和“不是1”。当你正确地意识到这一点时,最小数量的状态确实是另一个答案所指出的:2 ^ 2 = 4个状态。如果这更容易消化,这是一个粗略的图表。

  /------0,2--------\
 |         /---1--\ |
 v        v        \|
q0 --1-> q1 -0,2-> q2
         |          ^
         1          |
         v          |
         q3---0,2--/
        / ^
        \1/

答案 1 :(得分:0)

B.9

每当问题说右边的第n个符号是固定的并且输入语言有m个符号时,最小dfa的答案是m ^ n。所以3 ^ 2 = 9