In vielen Arbeiten mit kontextfreien Grammatiken (CFGs) lassen die dort vorgestellten Beispiele für solche Grammatiken oft einfache Charakterisierungen der von ihnen erzeugten Sprache zu. Beispielsweise: S→aaSbS→aaSbS \to a a S b S→S→S \to erzeugt ,{a2ibi|i≥0}{a2ibi|i≥0}\{ a^{2i} b^i | i \geq 0\}...