非确定的自动机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识别的是什么样的语言。

 

 　　状态转换矩阵：

                                   

　　状态转换图：

                         

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

 

2.NFA 确定化为 DFA

(1).解决多值映射：子集法

<1>. 上述练习1的NFA

<2>. P64页练习3

(2).解决空弧：对初态和所有新状态求ε－闭包

<1>. 发给大家的图2

<2>.P50图3.6

 

(1)<1>

　　状态转换矩阵：

                      

　　状态转换图：

           

 

<2>状态转换矩阵：

                         

 

　　 状态转换图：

 

（2）<1>

 　　状态转换矩阵：

                        

　　状态转换图：

                          

 

 <2> 状态转换矩阵：

          

　　状态转换图：