Skip to main content
GVSU COVID-19 Update: Remote learning continues through Aug. 4.

Admissions office is open. admissions@gvsu.edu. Visit www.gvsu.edu/coronavirus for more. 

2019-2020 Undergraduate & Graduate Catalog

Search Help

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, nondeterminism, pushdown automata, context-free languages, Turing machines and variants, halting problem, time complexity of algorithms, and NP-complete problems. (3-0-0) Cross-listed with MTH 465. Offered fall semester of odd-numbered years. Prerequisites: MTH 325, CIS 162 and admitted to CIS major.

Credits: 3



If you are in need of assistance please submit any questions or comments.