May 02, 2026  
2025-2026 University Academic Catalog 
    
Catalog Navigation
  Catalog Home
  General Information
  Academic Calendar
  Admissions
  Fees and Financial Aid
  Campus Life
  Academic Policies
  Graduate Affairs
  Honors College
  REAL Curriculum
  Academic Programs General Information
  Academic Colleges, Departments, and Schools
  Undergraduate Programs
  Graduate Programs
  Academic Majors, Minors, Certificates, and Academic Designations
  Courses
  Board and Administration
  Faculty
  Contact/Visit Campus
  Connect with Admissions
  My Portfolio
HELP
2025-2026 University Academic Catalog
Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)

CS 420 - Computability Theory and Formal Languages

Credits: (3)
Instructional Method: Three hours lecture.
Prerequisites: CS 322 .
A survey of attempts to model computation and formal language concepts.


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