May 03, 2024  
2005-2006 Undergraduate Catalog 
    
2005-2006 Undergraduate 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