1976 Michael Rabin Dana Scott 將有限狀態機(DFA)延伸到 《非確定状態 機》(NFA)上。NPA的下一個狀態不是唯 一的，而是多個可能状態中的一個。 Michael Rabin 1959年，兩人共同發表了「有限自動機 與其判定性問題」(Finite Automata and Their Decision Problems)的論 文，並證明了NFA與DFA的等價性 Dana Scott1976 Michael Rabin + Dana Scott ● 將有限狀態機 (DFA) 延伸到《非確定狀態 機》 (NFA) 上。 NFA 的下一個狀態不是唯 一的，而是多個可能狀態中的一個。 ● 1959 年，兩人共同發表了「有限自動機 與其判定性問題」（ Finite Automata and Their Decision Problems ）的論 文，並證明了 NFA 與 DFA 的等價性。 Dana Scott Michael Rabin