Apr 18, 2024  
2020-2021 Academic Catalog 
    
2020-2021 Academic Catalog [ARCHIVED CATALOG]

COSC 6346 Automata and Formal Languages


Cr. 3
Semester Credit Hours: 3
Class Hours Per Week: 3
Additional Laboratory or Activity Hours Per Week: 0
Course Level: Graduate

Prerequisite(s): COSC 3333  or equivalent, or instructor’s approval.
Introduction to fundamental concepts in automata theory and formal languages including grammar, finite automation, regular expression, formal language, pushdown automation, Turing machine, and an intro to computability and decidability. Study the properties of these models, and various rigorous techniques for analyzing and comparing them, using both formalism and examples.