ahol V egy [[terminális szimbólum|nem-terminális szimbólum]] és ''w'' egy jelsorozat, amely terminális és/vagy nem-terminális szimbólumokat tartalmaz.''
A "környezet függetlenkörnyezetfüggetlen" kifejezés abból a tényből ered, hogy a nem-terminális V minden esetben helyettesíthető ''w''-vel, függetlenül attól, hogy milyen környezetben fordul V elő. Egy [[formális nyelv]] akkor [[környezet függetlenkörnyezetfüggetlen nyelv|környezet függetlenkörnyezetfüggetlen]] ha környezet függetlenkörnyezetfüggetlen nyelvtan generálja.
A környezet függetlenkörnyezetfüggetlen nyelvtanok kellően hatékonyak és erősek a legtöbb [[programozási nyelv]] [[szintaxis]]ának leírásához; valójában a legtöbb programozási nyelv szintaxisának meghatározására környezet függetlenkörnyezetfüggetlen nyelvtanokat használnak. A környezet függetlenkörnyezetfüggetlen nyelvtanok egyszerűen elegendőek egy hatékony [[elemző algoritmus]] konstruálásához, amely egy adott jelsorozatról eldönti, hogy létrehozható-e az adott nyelvtan alapján.
A BNF ([[Backus-Naur Forma]]) a legismertebb jelölési rendszer a környezet függetlenkörnyezetfüggetlen nyelvtan kifejezéseinek leírására.
Nem minden formális nyelv környezet függetlenkörnyezetfüggetlen – a jól ismert az <math> \{ a^n b^n c^n : n \ge 0 \} </math> nyelv.
Ez a sajátos nyelv egy [[parsing expression nyelvtan]]nal generálható, ami viszonylag új [[formalizmus]] ami különösen jól illeszkedik a programozási nyelvekhez.