This course includes formal grammars, normal forms, relationship between grammars and automata, regular expressions, finite state machines, pushdown automata, turing machines computability, The Halting Problem, Introduction to Recursive Function Theory, application to programming languages, editors and command languages (operating systems).
Prerequisite: COMP 213, 223, 220