Prerequisite: COMP 200 Mathematical models of computation, definition and properties of formal languages and grammars, finite automata, regular languages and regular expressions, pushdown automata and context free languages, pumping lemmas and normal for
- Teacher: Saara Asif