CISC 603 - Theory of Computation

(3 semester hours)
Prerequisites: CISC 530 and CISC 610
Description: This course contains abstract models of computation and computability theory including formal languages, finite automata, regular expressions, context-free grammars, pushdown automata, Turing machines, primitive recursive and recursive functions, and decidability and un-decidability of computational problems.