日本語言語学専門用語 -  和仏辞典
Dictionnaire terminologique de linguistique japonaise   -   dictionnaire japonais francais


index articles

Grammaires formelles - 形式文法 - ケイシキブンポウ

r b

Stimulé par les recherches en informatiques et les problématiques liées aux manipulations de chaines de symboles, les mathématiciens ont développé des outils pour décrire l'ordonnancement de ces symboles. Deux dispositifs existent, dont il a été montré qu'ils avaient les mêmes effets: les automates (オートマトン) et les grammaires (文法・ブンポウ).
Ces outils ont été repris avec plus ou moins de rigueur et adaptés pour l'étude spécifique des langages naturels (自然言語・ソゼンゲンゴ).
        o Grammaires formelles au sens mathématique
                o Définition générale
                o Classement
Nous ne cherchons pas ici à expliquer les concepts que le lecteur trouvera dans les ouvrages spécialisés, mais seulement un rappel des définitions et surtout la traductions des termes employés.


Grammaire formelle/mathématique

Définition générale
Une grammaire est définie comme un ensemble hétérogène de 5 éléments:
  < alphabet1, alphabet2, sommet, ensemble de règles>
L'alphabet1 est par convention appelé alphabet terminal (終端記号の集合・ シュウタンキゴウノシュウゴウ)
L'alphabet2 est par convention appelé alphabet non terminal (非終端記号の集合・ヒシュウタンキゴウノシュウゴウ)
Le sommet  (開始記号・カイシキゴウ ou 初期記号・ショウキキゴウ)est un symbole de alphabet2,
Les deux alphabets 1 et 2 n'ont aucun élément commun
Le sommet est un symbole de l'alphabet 2
Les règles sont des couples de la forme: (α, β) où α et β sont des mots respectivement définis sur alphabet1 et/ou alphabet2. α est de longueur non nulle.

Les familles de grammaires et leur classement
Les grammaires ont une capacité de description différente selon la forme des règles. Elles ont été classées par Shutzenberger et Chomsky dans ce qu'on appelle communément le classement de Chomsky (チョムスキー階層・チョムスキーカイソウ ):
0型文法 (オガタブンポウ)

aucune contrainte sur les règles
1型文法 (イチガタブンポウ)
文脈依存文法(ブンミャクイゾンブンポウ)
grammaire contextuelle
β est de longueur supérieure ou égale à α
2型文法 (ガタブンポウ)
文脈自由文法(ブンミャクジユウブンポウ)
grammaire hors contexte
α est un mot constitué d'un symbole de longueur égale à 1
3型文法 (サンガタブンポウ)
正規文脈(セイキブンポウ)
Grammaire régulière
Les règles sont de la forme:
(α, a) ou (α, aβ), où α est un symbole non terminal, a un symbole terminal et β un mot



2004, 2005
© R.BLIN