ГРАММАТИКА

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

А. В. Гладкий.

Источники:

1. Математическая Энциклопедия. Т. 1 (А - Г). Ред. коллегия: И. М. Виноградов (глав ред) [и др.] - М., «Советская Энциклопедия», 1977, 1152 стб. с илл.