COMP 455

Models of Languages and Computation

Introduction to the theory of computation, which mainly includes finite automata, regular languages, pushdown automata, context-free languages, Turing machines, and undecidable problems.