非确定的自动机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识别    :         L(M)= (a | b) * abb

 

来源：https://www.cnblogs.com/a131452/p/11762829.html