Oct 18, 2024  
2023-2024 Graduate Catalog 
    
2023-2024 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. Crosslisted with CS 456. Credit at the 600-level requires additional work.



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



Prerequisites
Graduate Standing.