May 09, 2025  
2024 2025 Academic 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
  My Portfolio
HELP
2024 2025 Academic Catalog
Add to Portfolio (opens a new window)

CPSC 520 - Theory of Computation

3 Credit(s)

Prerequisites: 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)