Грамматика
Формальная — общее название нескольких типов исчислений, используемых в математической лингвистике для описания строения естественных языков (а также иек-рых искусственных языков, в частности языков программирования). См. порождающая, доминациопная, категориальная, трансформационная. А. В. Гладкий.