I første fase (tolkingen) analyseres programkodens riktighet i forhold til programmeringsspråkets spesifikasjon. Leksikalsk analyse går ut på å sette sammen enkelttegn til «ord», gjerne omtalt som , mens den syntaktiske analysen går ut på å sette sammen atomene til . Så langt tas det ikke hensyn til programmets betydning.