Theory & algorithms1976
Many possible paths, one precise model
Nondeterministic automata made branching computation mathematically tractable.
The storyACM A. M. Turing Award
1976
Many possible paths, one precise model
ACM A. M. Turing Award
Many possible paths, one precise model
Nondeterministic automata made branching computation mathematically tractable.
The story