ГРАММАТИКА ФОРМАЛЬНАЯ
(в лингвистике),
логическая система, или исчисление, задающая нек-рое множество ("правильных")
цепочек
( = конечных последовательностей), построенных из символов заданного
конечного набора, называемого "алфавитом" или "основным (терминальным)
словарём".
В теории Г. ф. цепочки интерпретируются как языковые объекты различных
уровней: напр., слоги (= цепочки фон), словоформы (= цепочки морф),
предложения (= цепочки словоформ) и т. п. Введённые в лингвистику
амер. учёным Н. Хомским, Г. ф. представляют собой средство строгого
описания естественных языков. Теория Г. ф. составляет важный раздел математической
лингвистики, в рамках к-рой принято подразделение на Г. ф. порождающие
и распознающие.
Грамматика порождающая задаёт множество
(правильных) цепочек перечислением этих последних вместе с указаниями
об их строении; порождающая грамматика может построить любую правильную
цепочку, снабдив её характеристикой её структуры, и не должна строить ни
одной неправильной цепочки. Наиболее известная разновидность порождающих
грамматик - это так называемые грамматики Хомского.
Грамматика распознающая задаёт множество
(правильных) цепочек распознаванием этих последних, а именно: для
любой предъявленной цепочки грамматика решает, является ли она правильной,
и в случае положительного ответа даёт указания о её строении. Наиболее
известная разновидность распознающих грамматик - т. н. категориальные,
или К-грамматики (введённые К. Айдукевичем и И. Бар-Хиллелом).
Лит.: Xомский Н., Миллер Д ж.,
Введение в формальный анализ естественных языков, в кн.: Кибернетический
сборник, Новая серия, в. 1, М., 1965; Хомский Н., Формальные свойства грамматик,
там же, в. 2, М., 1966; Бар-Хиллел И., Некоторые новые результаты в теоретической
лингвистике, в кн.: Математическая логика и её применение, М., 1965; Ламбек
И., Математическое исследование структуры предложений, в кн.: Математическая
лингвистика, М., 1964; Гладкий А. В., Лекции по математической лингвистике
для студентов НГУ, Новосибирск, 1966; Гладкий А. В., Мельчук И. А., Элементы
математической лингвистики, М., 1969, с. 23 - 136. И. А. Мельчук.
А Б В Г Д Е Ё Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Ъ Ы Ь Э Ю Я