CSC 420 - Formal Languages and Automata, 3 credit hours

Prerequisite(s): CSC 242
This course is an introduction to the theoretical foundations underlying computing. Topics include language specification and grammars, finite and pushdown automata, Turing machines, decidability, and computability. Application of these concepts into areas such as compiler design will also be discussed.