Formal Language: formal grammars, parsing, regular languages, context-free languages, automata theory. Finite state automata push-down automata.
Grammars and language, recognizers, top-down and bottom-up production language; run-time. Storage organization. The use of display in run time storage allocation. LR grammars and analyzers of symbol tables. Allocation of storage to run time variable codes generation. Optimization translator writing systems.