CS PhD. Teaches the theory of computation

About me: ========= I teach (1) *Theory of Computation* (a) Automata Theory: DFA, NFA, regular language, pumping lemma for regular languages, prove some languages are not regular; CFL, CFG, Pushdown automata; (b) Computability Theory: Turing Machines, how Turing machines work; decidable and undecidable languages; the halting problem; the general reducibility and mapping reducibility technique; Rice's theorem for proving undecidability; prove some languages are undecidable using prove b... Read More >>