An introduction to theoretical computer science. Topics include regular expression and finite state concepts; basic automata theory; formal grammars and languages; computability; Turing machines; elementary recursive function theory.

CSC 242 and 332