|
64 особенностей типовых классов СиПО, используемых в АОС [19-30], показал, что при решении большинства прикладных задач рассматриваемого класса можно ограничить спектр рассматриваемых ОП МГ регулярными и контекстносвободными ОП МГ. В то же время спектр модификаций грамматик, используемых при решении задач управления выбором СиПО в современных АОС, должен быть достаточно широк и учитывать конкретные особенности решаемых задач. В этом контексте, аналогично [52], могут быть выделены отдельные подклассы ОП МГ, отличающиеся типом дополнительных правил в грамматиках множества {GJ. Основной особенностью ОП МГ является использование атрибутных грамматик в ее составе. В данном случае ОП МГ является специальным подклассом атрибутных МГ, представимых в общем случае в виде: Grc=<{Gi}, {Hik},F>, где хотя бы одна грамматика Gj, входящая в множество {GJ, является атрибутной, а все остальные грамматики не содержат дополнительных экстралингвистических отношений или правил. В данном случае отдельная атрибутная грамматика G;, входящая в ОП МГ представляется в виде формальной системы GjA= Каждому символу ocme VNi и VTi соответствует некоторое подмножество атрибутов из множества X,, (т.е. подмножество Х(ост), называемое атрибутами символа ост , и при этом at выполняются условия: и Х(осп) n Х(ап)= 0, ссц^ oci2). Все множество атрибутов в грамматике разбито на два непересекающихся подмножества ху; и xCj (xyj u xCi=Xj и xyi n xci=0), |
78 особенностей типовых классов РСДЗ, используемых в РСУ [96], показал, что при решении большинства прикладных задач рассматриваемого класса можно ограничить спектр рассматриваемых ГС регулярными, контекстноф свободными и контекстно-зависимыми ГС. В то же время спектр модификаций грамматик, используемых при решении задач распознавания и обработки РСДЗ в современных информационно-аналитических подсистемах РСУ, должен быть достаточно широк и учитывать конкретные особенности решаемых задач. В этом контексте, аналогично [96], рассмотрим отдельные подклассы ГС, отличающиеся типом дополнительных правил в грамматиках множества {Gi}. I Определение 2.10. Будем называть ГС программной и обозначать Grc=<{Gi}, {Hjk},F>, если хотя бы одна грамматика G;, входящая в множество • {G;}, является программной [119], а все остальные грамматики не содержат дополнительных экстралингвистических отношений или правил. В этом случае программная грамматика Gj представляется в виде . пятерки Gj = Множество Pj содержит правила следующего вида: (г,) а->р K(Yi) F(N,). • Здесь правило а—»[3-ядро подстановки; (р)-метка правила; У—список переходов при успехе; N—список переходов при неудаче Yj, N;C J;. Схема программной ГС в общем случае содержит правила управления и правила погружения для всех элементов, входящих в программную грамматику Gi, включая списки Yj, N; и метки (р) при соответствующей интерпретации этих отображений. Применение программных грамматик в схеме ГС при описании РСДЗ • позволяет: Л' явным образом в схемах программных грамматик отражать разрешенные последовательности применения продукций и за счет этого 80 < > 2. Если amAmfm0mpm цепочка, в которой am, 3me (VNi F*j u VTi)* , Ame VNi, fme Fj, 0me F*b a Am-»X,mX2m ...Хпт-индексное правило из fm, то amAm fm0mpm=> amXim (p,m X2m (p2m ...X„m q>nmPm, где Применение индексных грамматик в схеме ГС при описании РСДЗ позволяет: -в большинстве случаев снизить сложность процедур синтаксического анализа цепочек РСДЗ объектов за счет использования индексных правил; -за счет использования соответствующих правил управления и погружения исключить дублирование индексных правил во всех грамматиках, входящих в ГС, а также снизить объем создаваемых формальных спецификаций. Определение 2.12. Аналогично [96], атрибутной ГС будем называть грамматическую сеть Grc=<{Gj}, {Hjk},F>, в которой хотя бы одна грамматика Gj, входящая в множество {G;}, является атрибутной, а все остальные грамматики не содержат дополнительных экстралингвистических отношений или правил. В данном случае атрибутная грамматика Gj представляется в виде формальной системы GjA= Каждому символу ame VNj и VTj соответствует некоторое подмножество атрибутов из множества Xj, (т.е. подмножество X(am), называемое атрибутами символа am , и при этом выполняются условия: Л' |