受賞理由

彼らの共作論文 "Finite Automata and Their Decision Problem" (有限状態機械とその決定性問題) に対して。その論文は非決定性マシンという非常に貴重な概念を導入し、この分野の後続の者たちに絶えずインスピレーションを与えた。

受賞者

マイケル・ラビン

デイナ・スコット