CS 421 - Theory of Computing

Units: 3

Regular and context-free languages, and other formal languages, push down and finite-state automata, and other finite machines. Turning machine computability, halting problems. May not be taken for credit by students who have received credit for CS 521.

Prerequisite(s): CS 351 .