Большая Советская Энциклопедия (цитаты)

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

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

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

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

 

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

  И. А. Мельчук.


Для поиска, наберите искомое слово (или его часть) в поле поиска


Новости 16.04.2024 11:19:03