Theory of Computation

This course gives an introduction to the basics of computation theory, including: Finite Automata, Regular language, Pushdown Automata, Context-Free Grammars, Turing machine, undecidablity, and computational intractable topics (NP complete, PSPACE, BPP etc).