Apr 19, 2024  
2015-2016 Academic Catalog 
    
2015-2016 Academic Catalog [ARCHIVED CATALOG]

CSC 341 - Automata, Formal Languages, and Computational Complexity

4 credits (Spring)
A formal study of computational devices, their related languages, and the possibility and difficulty of computations. Examples are pushdown automata and Turing machines, context-free languages and recursively enumerable sets, and the halting problem and NP-completeness.

Prerequisite: CSC 161  and either MAT 218 ,   or MAT 208  
Note: Plus-2 option available.
Instructor: Osera, J. Stone