CSIS 475 - Theory of Computation

3 hours
Study of the theory of computation. Emphasizes formal language theory including finite automata, Turing machines, and context-free grammars. Also includes decidability and computational complexity. Offered alternate years. Prerequisite(s): CSIS 252 and CSIS 311. UG