Un langage est dit algébrique s'il peut être en- gendré par une grammaire, c'est-à-dire s'il est égal à LG(S) pour une variable S d'une grammaire G.
Exemple 2.7.
Soit G la grammaire donnée à l'exemple 2.2.
Le langage LG(S) est égal à {anbn n ≥ 0} qui est donc un langage algébrique.