May 21, 2024  
2014-2015 University Catalog 
    
2014-2015 University Catalog [ARCHIVED CATALOG]

ECE 66400 - Formal Languages, Computability, And Complexity


Credit Hours: 3.00. Topics in computability theory and formal languages include recursive function theory, the equivalence of various generic programming languages for numeric calculations and string manipulations, regular languages and finite state automata, and context-free and context-sensitive languages. In complexity theory, emphasis is on the theory of NP-completeness, including proof methods, the distinctions between strong- and weak-sense NP-completeness, NP-hardness, and performance-guaranteed approximation algorithms. Offered in alternate years. Prerequisite: ECE 60800 . Typically offered Fall.