Credits: 3 Prerequisite: CSC 242 and CSC 231. 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.