Javascript is currently not supported, or is disabled by this browser. Please enable Javascript for full functionality.

   
    May 01, 2026  
2013-2014 Undergraduate Catalog 
    
2013-2014 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

COS 550 - Theoretical Computer Science I


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

Prerequisites: COS 250 and COS 301.

Course Typically Offered: Fall

Credits: 3



Add to Portfolio (opens a new window)