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