非确定的自动机NFA确定化为DFA

1.设有 NFA M=( {0,1,2,3}, {a,b},f,0,{3} )，其中 f(0,a)={0,1}  f(0,b)={0}  f(1,b)={2}  f(2,b)={3}

   画出状态转换矩阵,状态转换图，并说明该NFA识别的是什么样的语言。

 　　状态转换矩阵：

                                                   a               b  

                                       0       {0,1}           {0}

                                       1          -              {2}

                                       2          -              {3}

                                       3          -               -

　　状态转换图：

 

 　　NFA M识别的语言：L（M）={ ( a｜b)* a b b }

 

来源：https://www.cnblogs.com/MRJ1/p/11762821.html