非確定有限狀態自動機

在計算理論中 ， 非確定有限狀態自動機或非確定有限自動機 （ NFA ） 是對每個狀態和輸入符號對可以有多個可能的下一個狀態的有限狀態自動機 。 這區別於確定有限狀態自動機 （ DFA ） ， 它的下一個可能狀態是唯一確定的 。 儘管DFA和NFA有不同的定義 ， 在形式理論中可以證明它們是等價的 ； 就是說 ， 對於任何給定NFA ， 都可以構造一個等價的DFA ， 反之亦然 ： 通過使用冪集構造 。 兩種類型的自動機只識別正則語言 。 非確定有限自動機有時被稱爲有限類型的子移位 （ subshift ） 。 非確定有限狀態自動機可推廣爲概率自動機 ， 它爲每個狀態轉移指派概率 。 非確定有限自動機是Michael O. Rabin和達納 · 斯科特 （ Dana Scott ） 在1959年介入的 ， 他們證明了它與確定自動機的等價性 。