Grammaire formelle

Carte Commune · n° 254714

Une grammaire formelle est un formalisme permettant de définir une syntaxe et donc un langage formel, c'est-à-dire un ensemble de mots admissibles sur un alphabet donné. La notion de grammaire formelle est particulièrement utilisée en programmation logique, compilation (analyse syntaxique), en théorie de la calculabilité et dans le traitement des langues naturelles (tout particulièrement en ce qui concerne leur morphologie et leur syntaxe). Elle intervient dans la définition des automates cellulaires.

Lire sur Wikipédia · Image Epachamo, CC BY-SA 4.0