1. Розділ лінгвістики, що вивчає властивості формальних граматик як математичних об’єктів, а також взаємозв’язки між різними класами граматик і породжуваними ними мовами.
2. Теорія або формальна система, що описує структуру та правила побудови інших граматик, тобто “граматика граматик”.