CSC 363 Theoretical Foundations (3 credits)
Introduction to formal models of languages and computation. Topics covered include finite automata, regular languages, context-free languages, pushdown automata, Turing machines, computability, and NP-completeness.
Prerequisite: CSC 201.
