Theory of Computation Tutorials

Overview & Synopsis

This set of tutorials goes into the heart of the theory of computer science with formal languages and automatons, computability, and complexity. Topics to be discussed are regular and contextfree languages, finite automata, and pushdown automata. Consequently, resulting tutorials treat topics like Turing machines, Churchs thesis, and the problem of undecidability, whose examples include the and quot,halting problem and quot, in the exploration of the limits of computability. They look into complexity classes such as P, NP, and PSPACE, look into NPcompleteness, or provide an indepth treatment along with a wide introduction to the theoretical foundations of computer science.