编译原理，NFA转DFA

(1) 填写第一行：

 

 （2）填写第二行

（3）填写第三行

（4）全部

重复上面的步骤。最后，得到一个表格

 (注：因为是集合，所以，集合里面元素的顺序无所谓)

I	Ia	Ib
{x ，5,1}	{5,1,3}	{5,1,4}
{5,1,3}	{1,5,3,2,6,Y}	{5,1,4}
{5,1,4}	{5,1,3}	{5,1,4,2,6,Y}
{1,5,3,2,6,Y}	{1,5,3,2,6,Y}	{4,5,1,6，Y}
{5,1,4,2,6,Y}	{5,1,3,6，Y}	{5,1,4,2,6,Y}
{4,5,1,6，Y}	{5,1,3,6，Y}	{5,1,4,2,6,Y}
{5,1,3,6，Y}	{1,5,3,2,6,Y}	{4,5,1,6，Y}

然后，编号：

I	Ia	Ib
{x ，5,1}  0	{5,1,3}    1	{5,1,4} 2
{5,1,3}      1	{1,5,3,2,6,Y}   3	{5,1,4}  2
{5,1,4}       2	{5,1,3}    1	{5,1,4,2,6,Y} 4
{1,5,3,2,6,Y}  3	{1,5,3,2,6,Y}    3	{4,5,1,6，Y}   5
{5,1,4,2,6,Y}   4	{5,1,3,6，Y}    6	{5,1,4,2,6,Y}  4
{4,5,1,6，Y}   5	{5,1,3,6，Y}     6	{5,1,4,2,6,Y}    4
{5,1,3,6，Y}    6	{1,5,3,2,6,Y}    3	{4,5,1,6，Y}    5

就简化成了下面的二维表格：

I	Ia	Ib
0	1	2
1	3	2
2	1	4
3	3	5
4	6	4
5	6	4
6	3	5

看第一行，表示 状态0经过a弧到达1，状态0经过b弧到达2. 其他行同理。

注意：在第一列中，包含原来初态的就是新的初态，包含原来终态的就是新的终态。

比如：0所对应的集合是{x,5,1},因为包含原来的初态x，所以，0就是新的初态。

3、4、5、6是新的终态，因为他们各自对应的集合里都包含了原来的终态Y。

由这个二维表格，我们可以画图如下的状态图：
通过以上分析，我们已经知道了 0是初态，3、4、5、6是终态。初态用双箭头指向，终态用双圈表示。