CISC 399 - Formal Languages and Automata Theory

(3 semester hours)
Prerequisites: CISC 233 and MATH 310
Description: This course presents a study of formal languages and the correspondence between language classes and the automata that recognize them. Formal definitions of grammars and acceptors, deterministic and non-deterministic systems, grammar ambiguity, finite state and push-down automata, and normal forms will be discussed. Offered Fall and Spring Semester, annually.