Apr 20, 2024  
2014-2015 Graduate Catalog 
    
2014-2015 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.