Jan 02, 2026  
2012-2013 Undergraduate Catalog 
    
2012-2013 Undergraduate Catalog [Not Current Academic Year. Consult with Your Academic Advisor for Your Catalog Year]

Add to Portfolio (opens a new window)

COSC 3340 - Introduction to Automata and Computability

Cr. 3. (3-0)
Prerequisite: MATH 3336  and COSC 2320 .

Introduction to automata theory (finite-state automata, push-down automata, Turing machines); formal systems (regular and context-free languages and grammars); computability, Church-Turing thesis.



Add to Portfolio (opens a new window)