Il existe un algorithme permettant de savoir si 2 grammaires de ce type sont équivalentes.

On peut écrire un compilateur pour tout langage exprimé par ce type de grammaires.

xSy → Tx (où x, y sont des terminaux et S,T des non-terminaux) est une règle de production autorisée.

On peut écrire un programme sur un ordinateur permettant de savoir si une chaine est reconnue par la grammaire.

Une grammaire de ce type ne peut jamais être réécrite sous la forme d'une grammaire régulière.