CS 474 Introduction to Formal Language Theory

(Lab fee) This course covers formal programming languages, formal grammars, methods for language parsing, regular and context-free languages, automata, Chomsky hierarchy, Church-Turing Thesis, and theory of computability.