Introduction to finite automata, regular expressions and languages; push‐down
automata and context‐free languages; selected advanced language theoretical topics; emphasis on technique. This course provides an introduction to the theory of computation, including formal languages, grammars, automata theory, computability, and complexity.