Theory of Computation

We study detailed and advanced topics in formal languages and automata theory. In particular, we examine regular languages, context-free languages and Turing machines, and related real-world applications.