甚麼是ε-語言？

在計算理論中，非確定有限狀態自動機或非確定有限自動機(NFA)是對每個狀態和輸入符號對可以有多個可能的下一個狀態的有限狀態自動機。這區別於確定有限狀態自動機(DFA)，它的下一個可能狀態是唯一確定的。儘管 DFA 和 NFA 有不同的定義，在形式理論中可以證明它們是等價的；就是說，對於任何給定 NFA，都可以構造一個等價的 DFA，反之亦然: 通過使用冪集構造。兩種類型的自動機只識別正則語言。非確定有限自動機有時被稱為有限類型的子移位(subshift)。非確定有限狀態自動機可推廣為機率自動機，它為每個狀態轉移指派機率。

非確定有限自動機是 Michael O. Rabin 和 Dana Scott 在 1959 年介入的[1]，他們證明了它與確定自動機的等價性

2008-04-15 00:02:38 補充：
NFA-ε的性質

http://zh.wikipedia.org/w/index.php?title=%E9%9D%9E%E7%A1%AE%E5%AE%9A%E6%9C%89%E9%99%90%E7%8A%B6%E6%80%81%E8%87%AA%E5%8A%A8%E6%9C%BA&variant=zh-tw#NFA-.CE.B5.E7.9A.84.E6.80.A7.E8.B4.A8
呢個網有佢既性質