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.
Prerequisites: Computer Science 111 and Mathematics 108 or 219.