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