Devoir de Philosophie

GRAMMAIRE FORMELLE

Publié le 22/02/2012

Extrait du document

Source: http://www.peiresc.org/DINER/Lexique.pdf

 

Système de règles décrivant un ensemble de suites finies de symboles. Ces suites finies s'appellent des propositions et l'ensemble lui même est une langue décrite par la grammaire. La grammaire formelle est une forme de calcul et définit une syntaxe.On distingue deux types de grammaires formelles, les grammaires génératives, système de règles permettant de construire les propositions d'une langue, et les grammaires de reconnaissance, algorithmes permettant de reconnaître si une suite quelconque est une proposition. Distinction un peu conventionnelle il est vrai. Des grammaires formelles sous tendent l'arithmétique ou la logique mathématique, les langages de programmation ou un langage de création de formes comme le langage de Lindenmayer. Les grammaires formelles s'emploient en général pour la description des langues naturelles et artificielles en linguistique mathématique. La notion de grammaire formelle a été développée par les linguistes américains Noam Chomsky et Zelig Harris dans le milieu du XX°siècle.

Liens utiles