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