Jul 22, 2025  
2022-2023 Graduate Bulletin 
    
2022-2023 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.