Грамматика Бесконтекстная

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

грамматика конечно-автоматная, грамматика с конечным числом состояний,- грамматика бесконтекстная, каждое правило к-рой имеет вид или где - вспомогательные символы, а - один из основных символов. (Иногда допускаются также правила вида где - пустая цепочка. Класс порождаемых языков при этом расширяется только за счет языков, получаемых из прежних добавлением цепочки Л.) Для каждой Г. А. Можно построить эквивалентный ей автомат конечный. Класс языков, порождаемых Г. А. (автоматных языков)..

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

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