2025-2026 Undergraduate & Graduate Catalog [In Progress]
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. Cross-listed with MTH 465. Offered fall semester of odd-numbered years. Prerequisites: CIS 162 and MTH 325.
Credits: 3