Les langages engendrés par ce type de grammaires peuvent être reconnus par un automate à états finis.

Tous les langages engendrés par ce type de grammaire sont non-ambigus.

Il existe un algorithme permettant de construire la grammaire minimale reconnaissant un langage engendré par ce type de grammaires.

Tous les langages rationnels (autres que le langage vide ou restreint au mot vide) sont reconnaissables par des grammaires de ce type.

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

Toute grammaire de type 2 peut être utilisée sans risque pour définir un langage de programmation informatique.