1976年圖靈獎

獲獎原因：     在1959年發表的論文「有限自動機及其判定問題」中提出了非確定性有限狀態自動機這一概念。 圖靈獎引用： 授 予 MichaelO. Rabin與DanaSteward Scott圖靈獎以表彰合作撰寫的研究論文「有限自動機與其判定性問題」。在該研究論文中，提出了非確定性自動機的觀點。它被證明是一個極富價值的重要概念。 Rabin和Scott的這篇經典文章成爲這個領域後續研究的基石

>>阅读原文<<