Description
Author of the landmark joint paper "Finite Automata and Their Decision Problems," which introduced nondeterministic machines and had a lasting impact on automata theory, Rabin and co-author Dana S. Scott were cited for this work and for their subsequent independent contributions.
