チューリング賞 1976: 勝者

受賞者

1. Michael O. Rabin, Dana Scott

   情報科学

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