CISC 399 - Formal Languages and Automata Theory

(3 semester hours)
Prerequisites: MATH 310 and C or higher in CISC 233
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.