NPTEL Video Course : Theory of Computation

Lecture 17 - Continuation of proof of Myhill-Nerode theorem