51 модификация, большинство языков описания не оснащены достаточно представительным набором методов структурного (в первую очередь синтаксического) анализа подобных сложноструктурированных объектов. Преодоление этих недостатков при решении рассматриваемого класса задач возможно при дальнейшем обобщении и развитии аппарата метаграмматик в рамках создания их нового классаоценочнопродукционных (ОП) метаграмматик [20], создающих формальный базис решения представительного класса задач в рассматриваемой прикладной области исследований. В данном разделе приводятся основные результаты создания и развития формального аппарата ОП МГ и особенности его практического применения для решения рассматриваемого класса задач. В основе предлагаемого подхода к формальному описанию СиПО лежит понятие ОП МГ, которую определим как формальную систему следующего вида [20, 23]. Определение 2.1. Оценочнопродукционная_МГ представляет собой систему G=<{Gia},Wap>, где {Gia}множество атрибутных грамматик определенного вида i=l(l)N, Wapсхема метаграмматики, содержащая набор правил согласования (определенного рода отображений) между атрибутами (значениями атрибутов) и метками продукций грамматик множества {GJ. Таким образом, ОП МГ представляет собой систему взаимосвязанных грамматик, в которой правила согласования задают систему взаимных отображений атрибутов (значений атрибутов) в элементы множеств меток продукций грамматик {GJ. Это существенно |
63 2. ГРАММАТИЧЕСКИЕ СЕТИ. ОСНОВНЫЕ ПОНЯТИЯ И ОПРЕДЕЛЕНИЯ. КЛАССИФИКАЦИЯ И ОСНОВНЫЕ ФОРМАЛЬНЫЕ СВОЙСТВА ГРАММАТИЧЕСКИХ СЕТЕЙ 2.1. Грамматические сети. Основные понятия и определения Проведенный в первом разделе обобщенный анализ показал, что при проведении комплексных исследований, направленных на создание и модернизацию основных классов существующих и перспективных РСУ, первоочередному решению подлежит достаточно широкий круг задач, у/ связанных с распознаванием и обработкой существующих и перспективных классов РСДЗ в сетевых и оконечных подсистемах РСУ. ф В частности, показано, что эффективное решение этих задач в современных условиях требует создания формальных описаний (моделей) РСДЗ, отражающих структурные, статистические, а в ряде случаев— ч алгебраические особенности их синтаксических и семантических конструкций [96]. Также проведенный анализ известных подходов и методов решения задач формального описания (моделирования) РСДЗ показал, что в рамках существующих формальных схем практически невозможно ф специфицировать все основные синтаксические и семантические (а также другие экстралингвистические) отношения, свойственные основным классам РСДЗ, используемым в РСУ [16, 96]. Формальные описания и модели получаются громоздкими, затруднена их разработка и модификация, большинство языков описания не оснащены достаточно представительным набором методов структурного (в первую очередь синтаксического) анализа подобных сложноструктурированных объектов. Ф Преодоление этих недостатков при решении рассматриваемого класса задач возможно при дальнейшем обобщении и развитии аппарата [Л грамматических структур в рамках создания теории грамматических сетей 64 [96] (ГС), создающих формальный базис решения представительного класса задач в рассматриваемой прикладной области исследований. В данном разделе приводятся основные результаты создания и развития формального аппарата теории ГС и особенности его практического применения для решения рассматриваемого класса задач. В основе предлагаемого подхода к формальному описанию РСДЗ лежит понятие грамматической сети, которую определим как формальную систему следующего вида [96]. Определение 2.1. Грамматической сетью будем называть систему G=<{Gi}, {Hik},F>, где {Gj}-множество грамматик определенного вида i=l(l)N; F-набор правил управления ГС, определяющих в виде соответствующей сети правила управления (определенного рода управляющих и порождающих отображений) между грамматиками множества {Gj}; {Hj}-множество правил погружения для грамматик {Gj}, определяющее наборы правил связи элементов грамматик {Gj} и правил управления сети F. Таким образом, ГС представляет собой сеть взаимосвязанных грамматик, в которой правила управления и погружения задают систему правил взаимодействия (порождения, следования, влияния, разрешения/запрещения и т.п.) грамматик {Gj}. Являясь обобщением и дальнейшим развитием многоуровневых грамматических структур, основанных на системах подстановок и впервые явно описанных в работах [29, 30], многоуровневых метаграмматик [25, 26], модификаций семантических сетей [149, 150, 157, 174], ГС допускают применение сетевых схем в грамматических системах с гораздо менее жесткими ограничениями на множества используемых правил управления (продуцируемых действий и управляющих воздействий одних грамматик на другие) между входящими в них грамматиками, что позволяет |