Em muitos trabalhos que envolvem gramáticas livres de contexto (CFGs), os exemplos de tais gramáticas apresentadas frequentemente admitem caracterizações fáceis da linguagem que geram. Por exemplo: S→ a a SbS→umaumaSbS \to a a S b S→S→S \to gera ,{ a2 ibEu| i≥0}{uma2EubEu|Eu≥0 0}\{ a^{2i}...