Jan 30, 2023  
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 719 - Advanced Automata and Formal Languages


Credits 3

Extensive study of context-sensitive, recursive and recursively enumerable languages, including ambiguity and closure properties: decidable and undecidable properties of the different language classes: the halting problem and Post’s correspondence problem; properties of the deterministic context-free languages; LR(k) and LL(k) grammars.

Prerequisites