Topics from the theory of computation including finite state concepts, formal languages and grammars, computability, computational complexity. Also listed as Mathematics 312. Prerequisite: Mathematics 256.