Grammaire comparée, historique, diachronique, synchronique, traditionnelle, générative, transformationnelle, structurale, fonctionnelle, stratificationnelle, distributionnelle, relationnelle, scolaire, normative, descriptive, etc.
Définition Une grammaire formelle peut éventuellement permettre d'associer à une même chaîne c, élément de L(G), plusieurs structures différentes, qui résultent de dérivations différentes (pas le résultat d'une simple permutation dans l'ordre des règles).
Le langage engendré par une grammaire algébrique (Σ,N,P,S) est l'ensemble des mots de Σ∗ qui se dérive de S par la grammaire.
Exemple : le langage des mots bien parenthésés est engendré par la grammaire Gbp.
Un langage est dit algébrique s'il existe une grammaire algébrique qui l'engendre.