CSC 341 Introduction to Automata, Computabiligy, and Formal Languages
An introduction to theoretical computer science. Finite state machines and regular expressions. Context—free languages and push-down automata. Turing machines, effective computability, and the Halting Problem. This course is offered in the fall semester, 2005-2006 and alternate years.
Prerequisite: Computer Science 111 and Mathematics 108 or 219.