1959年にはプリンストンでの同僚マイケル・ラビンと共同でFiniteAutomataandTheirDecisionProblemという論文を発表し、非決定性有限オートマトンのアイデアを明らかにした。
1959年，拉宾和达纳·斯科特共同发表了“有限自动机与其判定性问题”（FiniteAutomataandTheirDecisionProblems）的论文，提出了非确定自动机的观点。