1976 – Dana S. Scott
For their joint paper "Finite Automata and Their Decision Problem,"
which introduced the idea of nondeterministic machines, which has proved to be an enormously
valuable concept. Their (Scott & Rabin) classic paper has been a continuous source of
inspiration for subsequent work in this field.
Citation [Home] [ACM Awards] [A. M. Turing Award] |