Context-Free Grammar
Dans une grammaire hors contexte, le membre gauche de chaque production est un unique non-terminal ; elle peut décrire des structures récursives et fonde la syntaxe de la plupart des langages de programmation.
Objectif
Décrire la structure syntaxique des langages de programmation et guider la conception des parseurs.
Mécanisme
Règles de la forme A→α, où A est un non-terminal et α une chaîne de terminaux/non-terminaux. Peut décrire l'imbrication (ex. parenthèses équilibrées, expressions) mais pas les dépendances de contexte (ex. déclaration avant usage des variables). Une grammaire de type 2 de Chomsky.
Cas d’usage
- Conception de langages
- Parseurs
- Analyse syntaxique