COSC 50133 Formal Languages
Prerequisites: COSC 40603. Languages and grammars which can be characterized in formal terms, for the purpose of constructing models for artificial (computer) languages. Topics will include finite automata, push down automata, Turing machines, solvable and unsolvable problems, etc.