Apr 14, 2026  
2012-2013 Graduate Catalog 
    
Catalog Navigation
  Catalog Home
  Officers of Administration
  General Academic Information
  General Policies and Regulations
  Special Resources
  Campus Map
  Admissions
  Fees, Financial and Other General Information
  Colleges
  Colleges and Departments
  Departments
  Programs
  Courses
  Academic Calendars
  My Portfolio
HELP
2012-2013 Graduate Catalog [Archived]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

CS 520 - Theory of Computation

3 credits
A sampling of the different areas of theoretical computer science: finite state concepts, formal grammars and automata, computability, Turing machines, and program verification.

Prerequisites
CS 202 or CS 303.


View available class schedules



Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)