CSCI 3434 (3). Theory of Computation.
Introduces the foundations of formal language theory, computability, and complexity. Shows relationship between automata and various classes of languages. Addresses the issue of which problems can be solved by computational means, and studies complexity of solutions.
Prerequisites: CSCI 3104 and CSCI 3155.
Coordinator: Andrzej Ehrenfeucht