Apr 03, 2026  
2025-2026 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  President’s Message
  University Overview
  Academic Calendar
  Administration
  Admission
  Disclaimers
  FERPA Guidelines
  Student Records
  Financial Information
  General Policies
  Graduate Courses
  Graduate Education
  Graduate Programs, Certificates, Specializations, Emphases
  Research Resources
HELP
2025-2026 Graduate 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