Machine-based and grammatical models of computation; finite automata and regular languages, pushdown automata and context-free languages, Turing machines; non-determinism; Church's Thesis. Prereq: 2231, 2421, 2331, and Math 3345; and enrollment in CSE, CIS, ECE, or Math major. Not open to students with credit for 5321.
Machine-based and grammatical models of computation; finite automata and regular languages, pushdown automata and context-free languages, Turing machines; non-determinism; Church's Thesis. Prereq: 2231, 2421, 2331, and Math 3345; and enrollment in CSE, CIS, ECE, or Math major. Not open to students with credit for 5321.