<ε-closure id="J">
	<state id="5">
		<state id="6">
			<state id="2"/>
		</state>
	</state>
	<state id="4">
		<state id="7"/>
	</state>
	<state id="3">
		<state id="8"/>
	</state> 
</ε-closure>

操作步骤

• 不失一般性，设字母表只包含两个 a 和b，我们构造一张计算状态集的转换表:
  
  为方便查找，我们将状态转换关系列表如下：

  S\∑	a	b	ε
  Χ			1,2
  1	1	1	2
  2	5	6
  3			4,Υ
  4	4	4	Υ
  5	3
  6		3
  Υ

  • 首先，置第1行第1列为ε-closure({X})求出这一列的I_a，I_b；
  • 然后，检查这两个I_a，I_b，看它们是否已在表中的第一列中出现，把未曾出现的填入后面的空行的第1列上，求出每行第2，3列上的集合…
  • 重复上述过程，直到所有第2，3列子集全部出现在第一列为止

  I	Ia	Ib
  ε-closure({X}) ={X,1,2}	J={1,5} Ia=ε-closure(J)={1,5,2}	{1,6,2}
  {1,5,2}	{1,2,5,3,4,Y}	{1,6,2}
  {1,6,2}	{1,2,5}	{1,2,6,3,4,Y}
  {1,2,5,3,4,Y}	{1,2,5,3,4,Y}	{1,6,4,2,Y}
  {1,2,6,3,4,Y}	{1,5,4,2,Y}	{1,2,6,3,4,Y}
  {1,6,4,2,Y}	{1,5,4,2,Y}	{1,2,6,3,4,Y}
  {1,5,4,2,Y}	{1,2,5,3,4,Y}	{1,6,4,2,Y}

  此时不再有新状态出现，计算完毕。

  • 将表格第一列的每一个状态集用一个数字编号，并将另两列替换为对应的编号，即可求得一个与之等价的DFA
  • 注意，凡是含有引入的终止状态Y的状态集都要转换为终止状态

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

  

DFA与NFA的等价性证明

• 把表看成状态转换矩阵，子集视为状态
• 转换表唯一刻划了一个确定的有限自动机M
  • 初态是ε-closure({X})
  • 终态是含有原终态Y的子集
• 不难看出，这个DFA M与M’等价
• 对于每个NFA M存在一个DFA M ’ ，使得 L(M)=L(M’)

显然，NFA和DFA等价

DFA的化简

目标：对于给定的DFA M，寻找一个状态数比M少的DFA M’，使得L(M)=L(M’)

状态的等价性

• 假设s和t为M的两个状态，称s和t 等价：
  如果从状态s出发能读出某个字α而停止于终态，那么同样，从t出发 也能读出 α而停止于终态；反之亦然
• s和t 不等价:
  存在一个字α，要么s读出α停止于终态而t读出α停止于非终态，要么t读出α停止于终态而s读出α停止于非终态
  此时，称它们是 可区别的

化简的基本思想

把M的状态集划分为一些不相交的子集，使得任何两个不同子集的状态是可区别的，而同一子集的任何两个状态是等价的。
最后，让每个子集选出一个代表，同时消去其他状态。

例：按照上述原则对DFA的状态集合S进行第一次划分，正确的分法是将S分为终态和非终态
说明：终态读出ε后依然停留在终态，非终态读出ε后依然在非终态。

化简步骤

• 首先，把S划分为终态和非终态两个子集，形成基本划分π。
• 假定到某个时候，现行划分π已含m个子集，记为π={I⁽¹⁾，I⁽²⁾，…，I^(m)}，检查π中的每个子集看是否能进一步划分：
  • 对某个I⁽ⁱ⁾，令I⁽ⁱ⁾={s₁,s₂, …,s_k}，若存在一个输入字符a使得I_a⁽ⁱ⁾ 不会包含在π的某个子集I^(j)中，则至少应把I⁽ⁱ⁾分为两个部分。
  • 假定状态s₁和s₂是I⁽ⁱ⁾={s₁,s₂, …,s_k}中的两个状态，它们经a弧分别到达t₁和t₂，而t₁和t₂属于π中的两个不同子集
    • 说明有一个字α， t₁读出α后到达终态，而t₂读出α后不能到达终态，或者反之
    • 那么对于字aα ， s₁读出aα后到达终态，而s₂读出aα不能到达终态，或者反之
    • 所以s₁和s₂不等价，应当进行划分
  • 将I⁽ⁱ⁾分成两半，一半含有s₁，一半含有s₂
    • I⁽ⁱ¹⁾含有s₁: I⁽ⁱ¹⁾ ={s|s∈I⁽ⁱ⁾且s经a弧到达t, 且t与t1属于π中的同一子集}
    • I⁽ⁱ²⁾含有s₂: I⁽ⁱ²⁾=I⁽ⁱ⁾ - I⁽ⁱ¹⁾
• 一般地，对某个a和I⁽ⁱ⁾，若I_a⁽ⁱ⁾ 落入π中 N个不同子集，则应把I(i)划分成N个不相交的组，使得每个组J的J_a都落入π的同一子集。
• 重复上述过程，直到π所含子集数不再增长(所有子集都无法再划分)
• 对于上述最后划分π中的每个子集，我们选取每个子集I中的一个状态代表其他状态，则可得到化简后的DFA M’
• 若I含有原来的初态，则其代表为新的初态（唯一），若I含有原来的终态，则其代表为新的终态（不唯一）

实例

对于上图是我们从NFA转换得到的DFA，我们对其状态做出化简：

1. 用ε区分终态和非终态，得到
   I⁽¹⁾={0, 1, 2} , I⁽²⁾={3, 4, 5, 6}
   现行划分π={I⁽¹⁾, I⁽²⁾}
2. I⁽¹⁾识别a之后形成能到达{1,3}，因此 I⁽¹⁾_a={1,3}
   由于I⁽¹⁾_a的元素同时位于现行划分π两个子集I⁽¹⁾和I⁽²⁾中，我们要对I⁽¹⁾进行划分，注意到0,2识别a之后都到达1，因此要将{0,2}分为一组，剩下的{1}放到另一组，即：I⁽¹¹⁾={0,2} , I⁽¹²⁾={1}
   现行划分π={I⁽¹¹⁾,I⁽¹²⁾, I⁽²⁾}
3. 注意到 I⁽¹¹⁾_b={2,4}，2在I⁽¹¹⁾中，4在I⁽²⁾中，其中0识别b之后转为2，2识别b后转为4。因此要将{0}分为一组，剩下的{2}放到另一组，即：I⁽¹¹¹⁾={0}, I⁽¹¹²⁾={2}
   现行划分π={I⁽¹¹¹⁾,I⁽¹¹²⁾,I⁽¹²⁾, I⁽²⁾}
4. 由于I⁽²⁾_a={3,6}的元素都在I⁽²⁾中，I⁽²⁾_b={4,5}的元素都在现行划分的同一个子集（I⁽²⁾）中，因此 没有子集可以继续划分了。
   现行划分π={I⁽¹¹¹⁾,I⁽¹¹²⁾,I⁽¹²⁾, I⁽²⁾}
   即π={{0},{1},{2},{3,4,5,6}}，同一子集内的状态都是等价的，不同子集的状态都是可区别的。
5. 用状态3代表{3,4,5,6}，即所有从{4,5,6}射出的弧都由{3}射出，所有射入{4,5,6}的弧都射入到{3}，化简后的效果如下：
   
   可见状态数大大减少。

补充：根据上例的操作，我们可以通过列表大大简化化简步骤，如图：

蓝色字表示现行划分内的一个状态机识别某个字符后仍在这个划分内，红色字代表跳出了这个划分，具体跳入了哪个划分可以根据底色确定（这两个都跳入了灰色的划分）
检查状态机所在行的跳入情况，只有底色完全一致（考虑顺序）的（{0}、{1}、{2}、{3，4，5，6}）才属于同一个新的现行划分，并据此重新给不同状态机上色。
如果重新上色后同一划分内底色仍然一致，结束，否则继续划分，并再次上色。

（新划分内每一划分底色一致）
最后，根据底色的分布情况可以重新画出简化的DFA

小结

请点击小标题观看视频