CISC 399 Formal Languages & Automata Theory

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.