Introduction to formal languages; relations between grammars and automata; elements of the theory of computable functions. Course Information: 3 undergraduate hours. 4 graduate hours. Prerequisite(s): MATH 215.