マイケル・ラビン
ラビンはそれを研究して論文 "Degree of Difficulty of Computing a Function and Hierarchy of Recursive Sets"(関数を計算する難しさの度合いと帰納的集合の階層)を書き上げた。
非決定性有限オートマトンは計算複雑性理論の重要な概念となった。特にP≠NP予想の説明の際に重要となる。
エルサレムに戻ったラビンは論理学を研究し、計算機科学と呼ばれることになる学問領域の基礎構築を行った。ヘブライ大学では準教授を務め、29歳で数学研究所の所長となり、33歳で正教授となった。当時についてラビンは「コンピューティング問題についての業績は全く評価されなかった。数学者らはこの新たな領域を全く認知していなかった」と述べている。
1960年、エドワード・F・ムーア(英語版)に招かれてベル研究所で働くことになり、状態遷移をコイントスで決める確率的オートマトンを考案。非常に多数の状態が必要な正規言語でも、確率的オートマトンなら劇的に状態数を減らせることを示した。
1969年、n 後者の二階述語論理が決定性であることを証明。その証明の重要な要素により、ボレル階層の第3レベルにあるパリティゲームの決定性(英語版)が暗に示される。
1975年、ヘブライ大学での在職期間を終了したラビンはアメリカのマサチューセッツ工科大学に行き、客員教授として勤めた。そこでゲーリー・ミラー(英語版)と出会う。ミラーは拡張リーマン予想に基づいた多項式時間の素数判定法を考案した。これをベースとしてラビンは拡張リーマン予想に依存しないミラー-ラビン素数判定法を発明した。
マイケル・ラビン(Michael Oser Rabin、1931年9月1日 - )は、著名な計算機科学者であり、その分野で最も権威のあるチューリング賞を受賞した。