CISC 603 Theory of Computation

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.