2020-2021 Undergraduate Catalog

CS 380 Theory of Computation 1

Mathematical logic; alphabets and languages; finite automata, regular and nonregular languages, Kleene's theorem; regular grammars; pushdown automata and context-free grammars; Turing and Post machines; recursive and recursively enumerable languages; the Chomski Hierarchy.

Prerequisite: CS 224 with a C- or better grade.