2010-2011 Academic Catalog 
    
    Sep 29, 2020  
2010-2011 Academic Catalog [Archived Catalog]

COSC 430 - COMPUTATION THEORY & AUTOMATA


Credits: Three
Prerequisite: COSC 330
This course is an introduction to the mathematical theory of formal languages and grammars. Topics include finite and push-down automata; Turing machines; regular, context-free, context-sensitive and recursive languages; deterministic and non-deterministic space; polynomial time and space; and concepts of effectiveness and computational complexity.