May 22, 2024  
2022-2023 Graduate Catalog 
    
2022-2023 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