Sep 20, 2020  
2019-2020 Undergraduate Catalog 
2019-2020 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