|
56 Определение 2.6. Обобщенной схемой ОП МГ называется ориентированная нагруженная сеть вида Fo = ({GJ, Do, Е, f0), где 1) {GJ-HenycToe конечное множество грамматик, входящих в МГ (множество помеченных вершин); 2) Do-конечная последовательность пар вида {G;, Gj}, i, j= 1(1)N, существующих, если имеется хотя бы одно правило согласования (g;, gj) вида AP(i); 3) fb-отображение множества {i,j} в Е (f(i,j)-noMeTKH при дугах (gj, gj))Для более сложных систем правил согласования соответствующим образом должна быть изменена форма задания обобщенной схемы ОП МГ. Для ОП МГ, понятия пути и длины пути в схеме правил согласования интерпретируется аналогично [42]. Для обобщенной схемы ОП МГ дополнительно определяется путь следующим образом. Определение 2.7. Путем длины х в обобщенной схеме ОП МГ от вершины G; к вершине Gj называется последовательность пар (G*o,G*i) (G*i,G*2)... (G*k.i,G*k), где Gi=G*o, Gj=G*k и существует хотя бы один путь вида AP(i) в схеме ОП МГ длины к от элемента gjeGj до элемента gjsGj (обозначения аналогичны обозначениям в определении 2.6). Определение 2.8. Путь в схеме (обобщенной схеме) ОП МГ будем называть однородным по типу правил согласования, если все входящие в него пары (x*o,xi) (х*ьх2) ... (х*к.ьхк) (аналогично (G*0,G*i)... (G*k.bG*k)) соответствуют правилам согласования, имеющим одинаковый тип. Определение 2.9. Путь в схеме (обобщенной схеме) ОП МГ, однородный по типу правил согласования называется однородным. Сведение понятия пути в схеме (обобщенной схеме) ОП МГ |
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. Путем длины х в обобщенной схеме ГС от |