Le document traite des concepts de grammaires formelles, y compris les productions et les dérivations. Il aborde également les notions de tuples et de prédictions dans le cadre de la génération de langages formels. Enfin, il mentionne des méthodes pour obtenir des non-terminaux à partir de symboles de départ par des applications de règles de production.