Грамматика формальная

ГРАММАТИКА ФОРМАЛЬНАЯ, общее название нескольких типов исчислений, используемых в математической лингвистике для описания строения естественных языков (а также некоторых искусственных языков, в частности языков программирования). Термин введён американским учёным Н. Хомским (1956).

Лит.: Chomsky N. Syntactic structures. Mouton, 1957; Гладкий А. В. Формальные грамматики и языки. М., 1973.