формальная (в лингвистике), логическая система, или исчисление, задающая некоторое множество ('правильных') цепочек (конечных последовательностей), построенных из символов заданного конечного набора, называемого 'алфавитом' или 'основным (терминальным) словарём'. В теории Г. ф. цепочки интерпретируются как языковые объекты различных уровней: например, слоги (цепочки фон), словоформы (цепочки морф), предложения (цепочки словоформ) и т. п. Введённые в лингвистику американским учёным Н. Хомским , Г. ф. представляют собой средство строгого описания естественных языков. Теория Г. ф. составляет важный раздел математической лингвистики , в рамках которой принято подразделение на Г. ф. порождающие и распознающие.
Грамматика порождающая задаёт множество (правильных) цепочек перечислением этих последних вместе с указаниями об их строении; порождающая грамматика может построить любую правильную цепочку, снабдив её характеристикой её структуры, и не должна строить ни одной неправильной цепочки. Наиболее известная разновидность порождающих грамматик - это так называемые грамматики Хомского.
Грамматика распознающая задаёт множество (правильных) цепочек распознаванием этих последних, а именно: для любой предъявленной цепочки грамматика решает, является ли она правильной, и в случае положительного ответа даёт указания о её строении. Наиболее известная разновидность распознающих грамматик - т. н. категориальные, или К-грамматики (введённые К. Айдукевичем и И. Бар-Хиллелом ).
Лит.: Хомский Н., Миллер Д ж., Введение в формальный анализ естественных языков, в кн.: Кибернетический сборник, Новая серия, в. 1, М., 1965; Хомский Н., Формальные свойства грамматик, там же, в. 2, М., 1966; Бар-Хиллел И., Некоторые новые результаты в теоретической лингвистике, в кн.: Математическая логика и её применение, М., 1965: Ламбек И., Математическое исследование структуры предложений, в кн.: Математическая лингвистика, М., 1964: Гладкий А. В., Лекции по математической лингвистике для студентов НГУ, Новосибирск, 1966; Гладкий А. В., Мельчук И. А., Элементы математической лингвистики, М., 1969, с. 23-136.
И. А. Мельчук.