Apr 17, 2024  
2012-2013 Graduate Bulletin 
    
2012-2013 Graduate Bulletin [ARCHIVED CATALOG]

CS 616 - Automata, Computability, and Formal Languages

3 hrs.
Prerequisite(s): CS 415 and formal models of computation, computability, complexity, and languages.