Automata and Logic

With Michael Rabin, Scott developed nondeterministic finite automata and decision methods that became foundational to automata theory.