Dec 21, 2024  
2017-2018 Undergraduate Catalog 
    
2017-2018 Undergraduate Catalog ARCHIVED CATALOG: CONTENT MAY NOT BE CURRENT. USE THE DROP DOWN ABOVE TO ACCESS THE CURRENT CATALOG.

CS 456 - Automata and Formal Languages


Regular expressions. Regular, context-free, and unrestricted grammars. Finite and pushdown autoamata. Turing machines and the halting problem; introduction to decidability.

Credits 3
Prerequisites   and  . Prerequisites must be completed with a grade of C or better. 
Notes  This course is crosslisted with CS 656. Credit at the 600-level requires additional work.