Sep 26, 2023  
2022-2023 Undergraduate Catalog 
2022-2023 Undergraduate Catalog [ARCHIVED CATALOG]

CS 4450 Theory of Computation

This course investigates formal machine models of computation, formal languages, and computability. This includes finite state automata, pushdown automata, Turing machines, languages and grammars, and how they are useful within computer science. Course offered Spring Semester only. Prerequisite(s): CS 3420 
Credits: 3.0