CS 423 - Theory of Computation

Credits: 3

This course formalizes many topics encountered in previous computing courses. Topics include: languages, grammars, finite automata, regular expressions and grammars, context-free languages, push-down automata, Turing machines and computability.

Pre-Requisites: MTH 232 and CS 126 or the equivalent programming experience