Rabin, un colega de Princeton, titulado "Finite Automata and Their Decisión Problem" ("Autómatas Finitos y el Problema de su Decidibilidad"), que introdujo la idea de las máquinas no determinísticas en el campo de la teoría de autómatas.