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

(в лингвистике) логическая система, или исчисление, задающая некоторое множество («правильных») цепочек (= конечных последовательностей), построенных из символов заданного конечного набора, называемого «алфавитом» или «основным (терминальным) словарём». В теории Г. Ф. Цепочки интерпретируются как языковые объекты различных уровней. Например, слоги (= цепочки фон), словоформы (= цепочки морф), предложения (= цепочки словоформ) и т. П. Введённые в лингвистику американским учёным Н. Хомским (См. Хомский), Г. Ф. Представляют собой средство строгого описания естественных языков. Теория Г. Ф. Составляет важный раздел математической лингвистики (См. Математическая лингвистика), в рамках которой принято подразделение на Г. Ф. Порождающие и распознающие.

Грамматика порождающая задаёт множество (правильных) цепочек перечислением этих последних вместе с указаниями об их строении. Порождающая грамматика может построить любую правильную цепочку, снабдив её характеристикой её структуры, и не должна строить ни одной неправильной цепочки. Наиболее известная разновидность порождающих грамматик — это так называемые грамматики Хомского. Грамматика распознающая задаёт множество (правильных) цепочек распознаванием этих последних, а именно. Для любой предъявленной цепочки грамматика решает, является ли она правильной, и в случае положительного ответа даёт указания о её строении. Наиболее известная разновидность распознающих грамматик — т. Н. Категориальные, или К-грамматики (введённые К.

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