L''UV aborde les notions théoriques nécessaires a la compréhension de la compilation des langages de programmation. Elle traite les phases d'analyses lexicale, syntaxique et sémantique. Elle présente les grammaires régulières et hors-contexte ainsi que les automates associes aux analyseurs. Elle aborde également les définitions dirigées par la syntaxe