Aug 18, 2025  
2011-2012 Undergraduate Catalog 
    
Catalog Navigation
  Catalog Home
  Academic Calendar
  The University
  Admission Requirements and Regulations
  Fees, Expenses, and Financial Aid
  Undergraduate Academic Information
  University Foundational Studies
  University Honors Program
  Student Affairs
  College of Graduate and Professional Studies
  University Trustees, Administration, and Faculty
  ISU Foundation
  Colleges
  Colleges and Departments
  Departments
  Programs
  Courses
  Campus Map
  My Portfolio
HELP
2011-2012 Undergraduate Catalog [Archived]

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

CS 420 - Theory of Computation

3 credits

Description
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, CS 303.

Note
Open to graduate students. Graduate students are required to do additional work of a research nature.


Click here for the Fall 2025 Class Schedule

Click here for the Spring 2026 Class Schedule

Click here for the Summer 2026 Class Schedule



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