|
66 два основных подкласса ОП МГ, отличающиеся интерпретацией правил типа АР: точечные ОП МГ; интервальные ОП МГ. Для точечных ОП МГ правила согласования задаются в виде Аткл—>Pmj, где Arkiточечная оценка к-го унаследованного или синтезированного атрибута i-й грамматики, входящей в МГ, Pmim-й набор разрешенных меток продукций j-й грамматики, входящей в МГ. Для интервальных ОП МГ правила согласования задаются в виде BTki->Pmj, где Втк1метка интервала, в который попала оценка к-го унаследованного или синтезированного атрибута i-й грамматики, входящей в МГ, Pmim-й набор разрешенных меток продукций j-й грамматики, входящей в МГ. Применение подобных ОП МГ позволяет адаптивно (на основе полученных текущих оценок, в частности, на этапах тестирования студентов) усекать множества используемых продукций при генерации и анализе стратегий и программ рассматриваемого класса. В ходе рассмотрения предложенной классификационной схемы выделены стохастические и нечеткие ОП МГ, аналогично [42]. Типизация правил согласования, их физическая интерпретация и вытекающие из этого свойства ОП МГ достаточно полно представлены в работах [20-32]. Ряд других разновидностей грамматик, включая графовые, транслирующие, аналогичным образом может быть включен в ОП МГ с соответствующей модификацией правил согласования. При классификации ОП МГ выделены особенности схемы правил согласования ОП МГ в целом наиболее интересные с точки зрения прикладных исследований (см. рис. 2.1). Для наиболее важных для практики случаев будем выделять |
84 -А t ,'к' X структурного перекрытия [96] РСДЗ различных видов. Ряд других разновидностей грамматик, включая графовые, транслирующие, атрибутные графовые, аналогичным образом может быть включен в ГС с соответствующей модификацией правил управления и погружения. В ГС могут использоваться различные системы правил управления и погружения, ряд особенностей задания которых рассмотрен в работах [96]. Ниже рассмотрим особенности задания схемы правил управления ГС в целом и правил погружения, и выделим наиболее интересные с точки зрения прикладных исследований виды схем ГС (см. рис. 2.1). Определение 2.15. Будем называть обобщенную схему правил управления ГС обобщенной схемой типа i, если она представляет собой ориентированную нагруженную сеть Wo = ({Gj}, Do, Е, fo) типа i. Для наиболее важных для практики случаев будем выделять следующие типы топологических схем, аналогично [96]: 1=0-полносвязанная сеть; i=l -звездообразная топология; 1=2-радиальная топология; 1=3-решетчатая топология; 1=4-кольцевая; 1=5-линейно-возвратная; 1=6-иерархическая (стратифицированная). В случае использования модификаций данных или других топологических схем будем в явном виде отражать их особенности. Очевидно, что линейные и многоуровневые метаграмматики являются подклассом иерархических грамматических сетей. Кроме рассмотренных достаточно «общих» ограничений, могут использоваться и ограничения, связанные с возможностью использования в качестве правил управления и погружения многозначных отображений различных типов. Это дает дополнительные возможности по более точной |