|
54 физической (семантической) интерпретацией этих отображений в соответствии с природой описываемого объекта, а также в целом формой задания этих отношений при описании схемы правил управления ОП МГ (рекурсивные, перечислительные и др. формы задания). Исходя из того, что при решении конкретных прикладных задач ОП МГ может использоваться для спецификации объектов, имеющих различную физическую и информационную природу, а также исходя из необходимости проведения определенного рода операций над грамматиками {Gj} в процессе синтаксического анализа, генерации цепочек сигналов и т.п., в качестве правил управления могут использоваться отображения, определяющие различные действия. В данном случае, помимо правил согласования, описанных в известных работах [42, 51], предлагается использовать новые типы правил согласования типа «атрибутметка продукции» (в обозначениях работы [42]AP(i)правила согласования). Данные правила согласования представляются в виде Атк1—>Pmj, где Аткь оценка к-го унаследованного или синтезированного атрибута i-й грамматики, входящей в МГ, Pmim-й набор разрешенных меток продукций j-й грамматики, входящей в МГ. Указанные выше правила согласования могут быть дополнены в соответствии с особенностями решаемых задач и применяемых подклассов грамматик {Gj}, аналогично [42,51]. Система рассматриваемых правил в ОП МГ в общем случае может содержать как конечные, так и бесконечные наборы отображений. В дальнейшем будем рассматривать ОП МГ со схемой, содержащей конечное число правил согласования. В ОП МГ могут быть выделены однозначные и многозначные |
66 управляемого предшествования, программные, графовые (веб), транслирующие атрибутные [13-16] грамматики и т.п.)» а также особенностями задания вероятностных и других мер на множествах правил подстановки и элементах грамматик (стохастические [119], нечеткие [177] грамматики). Определение 2.3. Будем называть ГС однородной, если множество {Gj} состоит из однотипных грамматик (в указанном выше смысле). В противном случае будем называть ГС неоднородной. В ГС могут быть использованы различные правила управления, отличающиеся видом отображений множеств элементов грамматик {Gi}, физической (семантической) интерпретацией этих отображений в соответствии с природой описываемого объекта, а также в целом формой задания этих отношений при описании схемы правил управления ГС (рекурсивные, перечислительные и др. формы задания). Исходя из того, что при решении конкретных прикладных задач ГС может использоваться для спецификации объектов, имеющих различную физическую и информационную природу, а также исходя из необходимости проведения определенного рода операций над грамматиками {Gj} в процессе синтаксического анализа, генерации цепочек сигналов и т.п., в качестве правил управления могут использоваться отображения, определяющие различные действия. В качестве базовых будем рассматривать следующие виды правил управления: (1) Q-правила, управляющие началом и остановкой порождения (суперпозиции) и применения правил в связанных грамматиках G; и Gj, которые в общем виде будем обозначать Gj—>qGj; (2) С-правила, управляющие следованием связанных грамматик Gj и Gj, которые в общем виде будем обозначать Gj-»cGj. В рамках данных видов правил управления можно выделить следующие основные типы правил: 67 4U kF (1-1) Qbs правила управления началом порождения при реализации операции суперпозиции; (1.2) Qesправила управления остановкой порождения при реализации операции суперпозиции; (1.3) Qbpправила управления началом применения правил вывода (продукций) при реализации операции разрешения применения продукций в грамматиках, являющиеся обобщением ТР(4)правил согласования в метаграмматиках; (1-4) Qepправила управления остановкой применения правил вывода (продукций) при реализации операции остановки применения продукций в грамматиках, обобщающие ТР(3)правила в метаграмматиках; (2.1) Ськ -правила управления началом включения элементов грамматик при реализации операции конкатенации (следования), аналогично SS(3), TS(3) и др. правилам согласования в метаграмматиках; (2.2) Сек -правила управления остановкой включения элементов грамматик при реализации операции конкатенации; (2.3) Сьм -правила управления началом совместного использования (координации) грамматик в ГС; (2.4) СеМ -правила управления завершением совместного использования (координации) грамматик в ГС. Указанные выше правила управления могут быть дополнены в соответствии с особенностями решаемых задач и применяемых подклассов грамматик {Gj}, аналогично [96]. Система рассматриваемых правил в ГС в общем случае может содержать как конечные, так и бесконечные наборы отображений. В дальнейшем будем рассматривать ГС со схемой, содержащей конечное число правил управления. Множество правил погружения {Hj} для каждой грамматики |