Parser/igenkännare

• Algoritmer som avgör om givna satser är korrekta eller ej

• Lexem: grundläggande klassificering av strängar

• Tokens: gruppering av lexem i principiella roller t ex “identifierare”.

• Använder normalt en formell grammatik

• Backus-Naur-Form: grammatisk formalism för syntax (seminarium 3)