Oct 15, 2025  
2016-2017 Graduate Catalog 
    
2016-2017 Graduate Catalog This is not the most recent catalog version; be sure you are viewing the appropriate catalog year. Add to Portfolio (opens a new window)

COSC 541 - Automata, Computability and Formal Languages


A survey of the principal mathematical models of computation and formal languages. Finite automata, regular languages and sets, the Chomsky hierarchy, context-free languages, computability and undecidable problems, computational complexity and NP-completeness are studied.

Credit Hours: 3 hrs
Grade Mode: Normal (A-F)

Prerequisite(s):   and  

Last Updated:
Links 06/2011


Winter 2025 Course Sections

Summer 2025 Course Sections

Fall 2025 Course Sections




Add to Portfolio (opens a new window)