CS 603 - FORMAL LANG/AUTOMAT THRY

Semester Hours: 3

Formal definition of programming languages. Formal grammars: regular, context-free, context senstive, and phrase-structure. Automata: finite-state, pushdown, linear-bounded automata, Turing Machines. Relationship between formal languages and automata.