Nov 13, 2019  
2019-2020 Undergraduate Catalog 
    
2019-2020 Undergraduate Catalog

CSCI 4300 - Theory of Computation


This course introduces the theory of computability, automata, and formal languages. Topics include regular expressions, context-free and context-sensitive grammars, Turing machines, recursive functions, lambda calculus, and undecidable problems.

Prerequisite/Corequisite:
Prerequisite: CSCI 4200 with a grade of C or higher

Hours:
3