NPTEL Video Course : Theory of Automata, Formal Languages and Computation

Lecture 33 - RICE'S Theorem, Linear Bounded Automata, Properties of TM