May 09, 2024  
2019-2020 Graduate Catalog 
    
2019-2020 Graduate Catalog [ARCHIVED CATALOG]

COS 550 - Theoretical Computer Science I


A survey of automata theory, formal languages, undecidability and computational complexity.

Prerequisites & Notes
COS 301 and COS 250.

Credits: 3