Title: The Pillars Of Computation Theory State Encoding Nondeterminism
Subjects: Computational complexity