En muchos artículos que involucran gramáticas libres de contexto (CFG), los ejemplos de tales gramáticas presentados allí a menudo admiten caracterizaciones fáciles del lenguaje que generan. Por ejemplo: S→aaSbS→aaSbS \to a a S b S→S→S \to genera {a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq...