Theoretical Foundations


lexical analyzers	finite state automata and regular grammars

syntax analyzers	pushdown automata and context free grammars

code generation	data structures

optimization	undecidability, NP-hardness, approximation algorithms,…