Грамматика Порождающая

один из видов формальной грамматики. Т. К. Может быть определена как упорядоченная четверка где - конечные множества, элементы к-рых наз. Основными символами и элементарными категориями соответственно. Ф 0 - элемент W, называемый главной категорией. - приписывающая функция, сопоставляющая каждому основному символу конечное множество категорий - выражений, образованных из элементарных категорий и синтаксич. Символов по следующему правилу. 1) всякая элементарная категория есть категория. 2..

Грамматика бесконтекстная, у к-рой правая часть каждого правила содержит не более одного вхождения вспомогательного символа. Класс порождаемых такими грамматиками языков (линейных языков) является собственным подклассом класса бесконтекстных языков (так, бесконтекстный язык не является линейным). См. Также Грамматика автоматная А. В. Гладкий. ..

грамматика непосредственно составляющих, НС-грамматика, грамматика контекстная,- частный случай грамматики порождающей, когда каждое ее правило имеет вид , где - цепочки в алфавите и 0 непуста. Каждый шаг вывода в Г. С. Состоит в замене одного вхождения символа Авхождением цепочки q, причем возможность замены обусловлена наличием "контекста" Вхождения символов в q потом также могут заменяться и т. Д. Таким образом, вхождение символа "развертывается" в нек-рый отрезок возникающей в резу..

- один из видов формальной грамматики. Г. Т. Предназначаются для преобразования синтаксических структур, что делает их более адекватными для описания естественного языка, чем формальные грамматики других типов, осуществляющие порождение или распознавание синтаксич. Структур лишь вместе с порождением (распознаванием) цепочек, поскольку раздельное рассмотрение синтаксических и линейных отношений между речевыми единицами больше соответствует природе языка. Г. Т. Значительно более громоздки, чем..