Apr 14, 2026  
2025-26 Catalog 
    
Catalog Navigation
  Catalog Home
  President’s Message
  Correspondence
  Academic Calendar
  Programs of Study
  Course of Instruction
  Introduction
  Admissions
  Tuition, Fees, and Other Expenses
  Student Financial Services
  Student Affairs
  Academic Regulations and Procedures
  General Education Curriculum
  The Honors College
  Experiential Learning and Internships
  University Library
  The Heckman Center for Student Success
  Administration
  Alumni Association
  The Student Right-to-Know and Campus Security Acts
  Family Educational Rights and Privacy Act (FERPA)
  Office of Civil Rights Compliance
  Campus Map
  Addendum Spring 2026
  My Portfolio
HELP
2025-26 Catalog
Add to Portfolio (opens a new window)

CPSC 520 - Theory of Computation

3 credit(s)

Prerequisite(s): CPSC 227  and knowledge of computer programming.
Finite automata and Pushdown automata; Register machines; Recursive functions and sets; Languages, regular expressions; Context-free languages; Regular and context-free grammars; Pumping lemmas. Turing machines, Church-Turing thesis. Post-correspondence problem; Computability and complexity.


Add to Portfolio (opens a new window)