|
55 правила согласования, в зависимости от используемых отображений. В данном случае многозначные правила могут использоваться для описания и координации параллельных процессов, происходящих в контролируемых объектах и системах. В зависимости от типа взаимодействующих элементов грамматик правила согласования могут быть также разделены на типы в соответствии со следующим определением. Определение 2.4. Правило согласования называется правилом типа C(LX)B, если оно задает отображение элемента грамматика типа С в множество элементов грамматики типа В, где в качестве обозначений правил согласования используются приведенные выше обозначения, а в качестве обозначений элементов грамматик—общепринятые указатели типа элементов грамматик: S—начальные символы; Т-терминальные символы; N-нетерминальные символы; P-продукции, а также Аатрибуты. При наличии в {GJ специальных подклассов грамматик, имеющих в своем составе дополнительные элементы и правила (программные грамматики и т.п.), возможно использование правил согласования других типов, задающих отношения между правилами управления и соответствующими элементами грамматик, входящих в множество {GJ, аналогично [51]. Обязательным для ОП МГ является использование правил типа АР. Определение 2.5. Будем называть ОП МГ метаграмматикой с однородной схемой правил управления и погружения, если схема ОП МГ состоит из однотипных правил. В противном случае будем называть ОП МГ комбинированной. Для рассматриваемых ОП МГ аналогично [42] использовано также понятие обобщенной схемы. |
68 содержит правила, задающие характеристики начала и остановки порождения в грамматиках, в соответствии с правилами управления и взаимодействующими элементами грамматик. Для практического применения в ГС могут быть выделены следующие типы правил погружения: LT -правила, разрешающие порождение от текущего состояния до порождения полной цепочки языка, состоящей только из терминалов; LB -правила, разрешающие порождение от текущего состояния до сигнала извне (задаваемого правилами управления); Ln -правила, разрешающие порождение от текущего состояния до порождения определенного нетерминала (достижения определенного состояния разбора); Lr -правила, разрешающие порождение от текущего состояния на глубину к шагов порождения (разбора); La -правила, разрешающие порождение от текущего состояния до получения заданного значения атрибута (для атрибутных грамматик). В ГС могут быть выделены однозначные и многозначные правила управления и погружения, в зависимости от используемых отображений. В данном случае многозначные правила могут использоваться для описания и координации параллельных процессов, происходящих в контролируемых объектах и системах. В зависимости от типа взаимодействующих элементов грамматик правила погружения могут быть также разделены на типы в соответствии со следующим определением. Определение 2.4. Будем называть правило погружения правилом типа A(LX)B, если оно задает отображение правила управления типа А в множество элементов грамматики типа В, или множества элементов грамматики типа А в множество правил управления типа В, где в качестве обозначений правил управления используются приведенные выше обозначения, а в качестве обозначений элементов 69 грамматик-общепринятые указатели типа элементов грамматик: S—начальные символы; Т-терминальные символы; N-нетерминальные символы; Р-продукции. При наличии в {Gi} специальных подклассов грамматик, имеющих в своем составе дополнительные элементы и правила (программные, атрибутные грамматики и т.п.), возможно использование правил погружения других типов, задающих отношения между правилами управления и соответствующими элементами грамматик, входящих в множество {Gj}, аналогично [96]. Определение 2.5. Будем называть ГС грамматической сетью с однородной схемой правил управления и погружения, если схема ГС состоит из однотипных правил. В противном случае будем называть ГС комбинированной. Для рассматриваемых ГС введем также понятие обобщенной схемы. Определение 2.6. Обобщенной схемой ГС будем называть ориентированную нагруженную сеть вида Fo = ({Gj}, Do, Е, f0), где 1) {Gi}-непустое конечное множество грамматик, входящих в МГ (множество помеченных вершин); 2) Do-конечная последовательность пар вида {Gj, Gj}, i, j= 1(1)N, существующих, если имеется хотя бы одно правило управления (gi, gj); 3) ^-отображение множества {i,j} в Е (f(i,j)-noMeTKH при дугах (gi, gj))Для более сложных систем правил управления соответствующим образом должна быть изменена форма задания обобщенной схемы ГС. Для ГС, понятия пути и длины пути в схеме правил управления интерпретируется аналогично [96]. Для обобщенной схемы ГС дополнительно определим путь следующим образом. Определение 2.7. Путем длины х в обобщенной схеме ГС от |