Grammaire formelle
Une grammaire formelle est un système mathématique qui définit l'ensemble des phrases (ou « mots ») d'un langage à partir d'un vocabulaire et de règles de réécriture. Elle est utilisée en linguistique, en informatique théorique et pour décrire les langages de programmation.
Définition
[modifier | modifier le wikicode]Une grammaire formelle comprend :
- un ensemble de symboles terminaux (les mots du langage) ;
- un ensemble de symboles non terminaux (les catégories : Phrase, GN, GV…) ;
- un symbole de départ (souvent P ou S) ;
- un ensemble de règles de production.
GN → Dét N
GV → V GN
Dét → le, la · N → chat, souris · V → mange
⇒ le chat mange la souris
La hiérarchie de Chomsky
[modifier | modifier le wikicode]| Type | Grammaire | Exemple d'usage |
|---|---|---|
| 0 | générale (sans restriction) | toute procédure calculable |
| 1 | contextuelle | certaines structures des langues naturelles |
| 2 | non contextuelle (hors contexte) | syntaxe des langages de programmation |
| 3 | régulière | expressions régulières, analyse lexicale |
En informatique
[modifier | modifier le wikicode]La syntaxe des langages de programmation est décrite par des grammaires non contextuelles, souvent notées en forme de Backus-Naur (BNF). Les analyseurs syntaxiques (parsers) des compilateurs en dépendent.
Voir aussi : Grammaire générative.
📗 Recherches et rédaction : My French
Cet article a été documenté et rédigé par l'équipe de my-french.com, plateforme d'apprentissage du français langue étrangère (FLE) et propriétaire de grammaire.wiki. Leçons de grammaire du A1 au C2, quiz, conjugueur et nuances du français : progressez sur my-french.com.