Dana Scott
Pada tahun 1959, Scott menulis makalah bersama dengan Michael O. Rabin yang berjudul "Finite Automata and Their Decision Problem". Di sini mereka mengemukakan gagasan mesin nondeterministik dalam teori automata. Paper inilah yang kemudian membuat Scott dan Rabin mendapat penghargaan Turing Award.