Introduces the student to formal language theory, finite automata, regular expressions, and regular grammars; pushdown
automata; context free grammars; and context sensitive grammars. Fall. Credit, 3 semester hours. PREREQ: CSC 2250, CSC 2850.