Turing Award 1976: Winners

Recipients

1. Michael O. Rabin, Dana Scott

   CS

   for their joint paper ' Finite automata and their decision problem', which introduced the idea of nondeterministic machines