NPTEL Video Course : Theory of Computation

Lecture 41 - Existence of non-r.e. languages, recursive languages, notion of decidability