Формальна граматика, в мовознавстві, один із засобів строгого опису природних мов; один з розділів математичної лінгвістики (див. Граматика формальна ).