|
|
|
Dec 18, 2024
|
|
2016-2017 Undergraduate Course Catalog [ARCHIVED CATALOG]
|
CIS 473 - Automata and ComputabilityCollege of Engineering and Computer Science
3 credit(s) At least 1x fall or spring
Countable and uncountable sets; diagonalization proofs; finite state automata; regular, context-free, context-sensitive, recursive, and r. e. languages; Turing machines; relationships between classes of languages and machines; the halting problem; proof methods for decidability and undecidabilty.
PREREQ: CIS 375 OR MAT 375
|
|
|