"Por su artículo "Finite Automata and Their Decision Problem" (del inglés, "Autómatas Finitos y el Problema de su Decisibilidad"), que introdujo la idea de las máquinas no deterministas, un concepto enormemente valioso, como se probaría más adelante.