NPTEL Video Course : Theory of Computation

Lecture 9 - 'Guess and verify' paradigm for nondeterminism