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.
Credits: 1