Apr 19, 2024  
2017-2018 Graduate Catalog 
    
2017-2018 Graduate Catalog ARCHIVED CATALOG: CONTENT MAY NOT BE CURRENT. USE THE DROP DOWN ABOVE TO ACCESS THE CURRENT CATALOG.

CS 656 - Automata and Formal Languages


Credits 3

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

Notes
This course is crosslisted with CS 456. Credit at the 600-level requires additional work.