Apr 19, 2024  
2018-2019 Catalogue 
    
Catalog Navigation
  Catalogue Home
  The College of Wooster
  The Academic Program
  Areas of Study
  Course Descriptions
  Special Programs and Educational Opportunities
  Student Resources
  Degree Requirements
  Academic Policies
  Admissions, Expenses, and Financial Aid
  The Directories
  Academic Calendar
  Travel Directions
  Campus Map
  Four Year Calendar
HELP
2018-2019 Catalogue [ARCHIVED CATALOG]

CSCI 22000 - Theory of Computation

Course Credit: 1
THEORY OF COMPUTATION The theory of abstract machines and formal languages is introduced in this course. Computability by finite automata, pushdown automata, and Turing machines is examined and related to pattern matching, lexical analysis, compilation and programming for digital computer systems. Proofs by induction, construction, contradiction, and reduction are used to formalize computability theory and the limitations of computing. Prerequisite(s): CSCI-12000, and either MATH-21500 OR MATH-22300 Fall.