Nov 25, 2024  
College Catalog 2014-2015 
    
College Catalog 2014-2015 [ARCHIVED CATALOG]

COMP 261 - Theory of Computation

Cross-Listed as  
A discussion of the basic theoretical foundations of computation as embodied in formal models and descriptions. The course will cover finite state automata, regular expressions, formal languages, Turing machines, computability and unsolvability, and the theory of computational complexity. Introduction to alternate models of computation and recursive function theory. Prerequisite(s):   and  , or permission of instructor. Every spring. (4 Credits)