Проверяемый текст
Николаев, Алексей Витальевич. Теоретические основы применения грамматических сетей для распознавания и обработки разнородных сложноструктурированных данных и знаний в распределенных системах управления (Диссертация 2006)
[стр. 68]

68 2.3.
Основные свойства оценочнопродукционных метаграмматик С целью определения возможностей применения основных классов ОП МГ для решения конкретных прикладных задач рассматриваемых классов, проведем обобщенный анализ основных формальных свойств ОП МГ и порождаемых ими семейств языков аналогично [42, 51].
В силу направленности исследований на создание формальных
моделей синтаксически сложноструктурированных СиПО, которые как искусственные языки по мощности не превосходит мощности контекстносвободных языков (языков типа 2 [41]), ограничим, аналогично [42], рассмотрение регулярными (тип 3) и контекстно-свободными ОП МГ.
Одним из наиболее важных свойств ОП МГ является эквивалентность их отдельных классов по порождающим возможностям.
Это позволяет использовать и заменять эквивалентные классы
ОП МГ при описании сложноструктурированных СиПО, руководствуясь соображениями удобства применения, наглядности, компактности формальных моделей.
Определение мощности семейства формальных языков, порождаемого
ОП МГ, необходимо при оценке возможности описания конкретного класса СиПО с использованием таких МГ.
Одним из наиболее важных свойств семейств формальных языков, порождаемых
ОП МГ, является замкнутость относительно основных алгебраических операций [41], которая определяет возможность дополнения и изменения элементов формальных грамматических моделей при формировании комбинированных описаний СиПО без выхода за пределы данного класса метаграмматик.
В общем случае язык, порождаемый ОП МГ, определяется как множество цепочек L(G)=K(xm xm€ V*T(m); Sr=>*xm}; m,re(l,...,N}, где У*т(т)-итерация множества VT(m)> VT(m) -множество терминалов грамматики Gm, входящей в подмножество определенным образом выделенных «завершающих» грамматик {Gm}c{Gi}; Sr-начальный нетерминал
[стр. 85]

85 подгонке формальных спецификаций к границам моделируемых классов РСДЗ (в структурном смысле) и позволяет повысить эффективность Упроцедур генерации и синтаксического анализа за счет ограничения ф множеств вариантов вывода (грамматического разбора) [96].
Ряд подобных ограничений рассмотрен в работе [96] при описании синтаксиса и семантики конкретных классов РСДЗ с использованием обычных и стохастических регулярных ГС.
В целом рассмотрение особенностей предложенных классов ГС показывает, что грамматические сети, по сравнению с существующими грамматическими системами, позволяют снизить объем синтаксических ф описаний, повысить их наглядность и уменьшить сложность при сохранении мощности порождаемых семейств языков формального описания.
2.3.
Основные свойства грамматических сетей С целью определения возможностей применения основных классов ГС для решения конкретных прикладных задач рассматриваемых классов, проведем обобщенный анализ основных формальных свойств ГС и порождаемых ими семейств языков аналогично [96].
В силу направленности исследований на создание формальных
описаний (моделей, спецификаций), в основном синтаксически «насыщенных» искусственных языков, мощность которых в большинстве случаев не превосходит мощности контекстно-свободных языков (языков типа 2 [119]), ограничим, аналогично [96], рассмотрение регулярными (тип 3) (РГС) и контекстно-свободными (КСГС) грамматическими сетями.
Одним из наиболее важных свойств ГС является эквивалентность отдельных классов грамматических сетей по порождающим возможностям.
Это позволяет использовать и заменять эквивалентные классы
ГС при описании сложноструктурированных данных и знаний, руководствуясь соображениями удобства применения, наглядности, компактности

[стр.,86]

86 формальных спецификаций.
Определение мощности семейства формальных языков, порождаемого
У* > ГС, необходимо при оценке возможности описания конкретного класса ф сигнальных и информационных объектов с использованием таких грамматических структур.
Одним из наиболее важных свойств семейств формальных языков, порождаемых
ГС, является замкнутость относительно основных алгебраических операций [119], которая определяет возможность дополнения и изменения элементов формальных грамматических моделей при формировании комбинированных описаний РСДЗ без выхода за пределы данного класса грамматик.
В общем случае язык, порождаемый ГС, определяется как множество • цепочек L(G)=K{xm xme V*T(m); Sr=S>*xm}; m,re{l,...,N}, где У*Т(т)-итерация множества Vi(m), VT(m) -множество терминалов грамматики Gm, входящей в подмножество определенным образом выделенных «завершающих» грамматик {Gm}cz{Gj}; S-начальный нетерминал грамматики Gr, входящей в подмножество определенным образом выделенных «начальных» грамматик {Gr}c{Gj}; К-обозначение определенного рода композиции цепочек хт (объединение, конкатенация и т.п.), зависящей от типа и интерпретации правил управления и погружения; =>* есть рефлексивное и транзитивное • замыкание отображения => непосредственного вывода с учетом правил управления и погружения грамматик, входящих в ГС [96].
Выделение подмножеств {Gm} и (Gr] определяется главным образом спецификой конкретной решаемой прикладной задачи; ограничение набора композиций К, помимо прочего, определяется структурными свойствами специфицируемых объектов, типом и интерпретацией используемых правил управления и погружения, которым должна даваться определенная трактовка • в рамках решаемых прикладных задач.
В большинстве практически важных .5' случаев в качестве базовых композиций К использованы операции объединения и конкатенации.
Эти операции, в определенной степени,

[Back]