Michael O. Rabin

Premios

1. 1976

   Premio Turing

   Informática

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