Dana Scott
Dana Scott: Scott's 1959 paper with Michael Rabin introduced nondeterministic finite automata (NFA), a concept now ubiquitous in computer science. By...
Dana Scott: Scott's 1959 paper with Michael Rabin introduced nondeterministic finite automata (NFA), a concept now ubiquitous in computer science. By...