Jan 15, 2025  
2024-2025 Graduate Catalog 
    
2024-2025 Graduate 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.



Prerequisites
Graduate Standing.