3.00 Credits
A study of theoretical models of computation, including finite state machines, pushdown automata, context-free grammars, Turing machines, decidability, complexity theory, and NP-Completeness. This study covers efficient computation, models of computationa