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