GVSU will move to REMOTE STATUS for Friday, Jan. 23, 2026 due to current and forecasted travel/road conditions. Students, faculty and staff, please check your email for details.
2013-2014 Undergraduate & Graduate Catalog
CIS 465 - Automata and Theory of Computation
Introduction to basic mathematical models of computation and the finite representation of infinite objects. Finite automata, regular languages, non-determinism, pushdown automata, context-free languages, Turing machines and variants, halting problem, time complexity of algorithms, and NP-complete problems. (3-0-0) Offered fall semester of odd-numbered years.
Prerequisites: MTH 325, CIS 162 and admitted to CIS Major.
Credits: 3