Beskrivning av programspråk och andra formella språk med reguljära uttryck och grammatiker.
Metoder för att utföra lexikal- och syntaxanalys, och deras relationer till beräkningsmodeller såsom ändliga automater och stackautomater. Syntaxanalys med LL- och LR-analys. Verktyg i form av scanner- och parsergeneratorer.
Semantisk analys och översättning till intermediärkod. Instruktionsselektion och registerallokering.