Catégorie:Langage formel
Apparence
L'étude des langages formels est l'étude des phrases formées à partir d'un ensemble fini de briques, l'alphabet, grâce à des règles formelles strictes.
Sous-catégories
Cette catégorie comprend la sous-catégorie suivante.
Pages dans la catégorie « Langage formel »
Cette catégorie contient les 113 pages suivantes.
A
C
D
E
F
G
- Grammaire affixe
- Grammaire algébrique
- Grammaire ambigüe
- Grammaire attribuée
- Grammaire contextuelle
- Grammaire formelle
- Grammaire indexée
- Grammaire L-attribuée
- Grammaire lexicale-fonctionnelle
- Grammaire linéaire
- Grammaire LL
- Grammaire LR-attribuée
- Grammaire non contextuelle
- Grammaire non contextuelle déterministe
- Grammaire non contextuelle pondérée
- Grammaire régulière
- Grammaire S-attribuée
- Grammaire universelle
- Grammaires de van Wijngaarden
I
L
- Langage algébrique
- Langage algébrique déterministe
- Langage congruentiel
- Langage contextuel
- Langage de balisage
- Langage de description de format de document
- Langage de formatage de texte
- Langage de la logique
- Langage de Łukasiewicz
- Langage local
- Langage rationnel
- Langage récursif
- Langage unaire
- Langue contrôlée
- Lemme d'échange
- Lemme d'itération de Bader et Moura
- Lemme d'itération pour les langages algébriques
- Lemme d'Ogden
- Lemme d'itération
- Lemme de l'étoile
- Lemme de Newman