Mar 28, 2024  
2022-2023 Undergraduate Catalog 
    
2022-2023 Undergraduate Catalog [Archived 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