3 credit hours
Prerequisite: CSCSI 351 or MATH 234
A formal study of the mathematical basis for computer software. The following topics are included: finite automata, regular expressions, context-free languages, pushdown automata, Turing machines, decidability and computability.