87 вектор текущих значений синтезированных атрибутов. Для детального описания способа генерации и синтаксического анализа, в работе [20] введены следующие обозначения. ОП МГ, описывающая в общем случае структуру произвольных СиПО, записана в следующем виде [20]: = !(1) N m ’ т = !(1) М>1 = 2(1) М’1 > тВ этой САГС множество стохастических атрибутных графовых грамматик М-й страты описывает представление синтаксически различных элементов РСДЗ самого нижнего уровня декомпозиции. Для обозначения элементов грамматик будем использовать следующие символы: a‘mjm й терминальный символ грамматики, а(т) ‘mJm 1 ,т . В(т) —к й терминальный символ грамматики, В™ е . р(т) множество ‘т содержит продукции, имеющие вид: |
А г, В этой САГС множество стохастических атрибутных графовых грамматик М-й страты описывает представление синтаксически различных элементов РСДЗ самого нижнего уровня декомпозиции. Для обозначения элементов грамматик будем использовать следующие символы: a‘mJm ~ J™ “ й терминальный символ грамматики, А " й терминальный символ грамматики, множество Р.^ содержит продукции, имеющие вид: 'А где (©)^метка правила подстановки, пустой (конечный) терминал. lm lm Правила управления и погружения САГС будем обозначать: с^, (ПУ) правила управления; (Ш7) правила погружения. Ут'Ч> Угп’Ч) Для записи алгоритма используется понятие состояния Q, представленное выше. Также введен ряд дополнительных обозначений. Анализируемую (порождаемую) цепочку В, описывающую РСДЗ, записывают в виде последовательности подцепочек Br,r = l(l)rmax, представляющих синтаксически и семантически различные наборы элементов [96]. В начальном состоянии в'-' =О-: D'-'= O-,Z„, Введены основные операции над состояниями САГС. l.^(a‘”),B‘m)D^m)) заключаются в приписывании справа от ограничителя в символов соответственно, где " правая * Ъ |