University Catalog

Print Page

CSCI 402. Introduction to the Theory of Computation

Credits: 3
Department: Computer Science
Description: Regular languages, finite-state automata, context-free languages, grammars, push-down automata, Turing machines, Church's thesis, the halting problem and computability.
Prerequisites: CSCI 320 and MATH 271 or MATH 304
Semester Offered: DEMAND
Grading Method: ABCDF

Student Learning Outcomes

1. Apply formal methods to the process of constructing a system and appreciate the need to study and develop such methods.
2. Apply the principles learned in the core curriculum to various application domains, build on those principles, and stay current in their knowledge.

The contents in this catalog and other university publications, policies, fees, bulletins or announcements are subject to change without notice and do not constitute an irrevocable contract between any student and St. Cloud State University.