|
51 однозначность правил согласования. Анализ данных классов показывает, что МГ, как средство системного объединения грамматик в целях моделирования КТД рассматриваемого класса, существенно превосходят возможности существующих классов грамматик. При этом, аналогично [27-32], при таком объединении проявляются важные системообразующие особенности МГ, позволяющие при системном объединении достаточно простых (обычнорегулярных) грамматик моделировать сложные структурно-семантические зависимости, характерные для КТД. Большое разнообразие возможных классов МГ, отличающихся своими «выразительными» возможностями, характером структурных взаимосвязей в схеме правил согласования МГ, позволяет использовать их при решении широкого круга прикладных задач моделирования декодируемых КТД. Рассмотрим обобщенные характеристики основных подклассов МГ и их отдельных свойств. Одним из наиболее важных классификационных признаков, определяющим выразительные возможности МГ и большинства других классов формальных грамматик и грамматических структур, является тип используемых правил подстановки (продукций) [19]. В соответствии с общепринятой классификацией формальных грамматик по Хомскому [23], выделяют 4 типа МГ, отличающихся ограничениями, накладываемыми на множество продукций: регулярные (тип 3), контекстно-свободные (тип 2), контекстно-зависимые ТМГ (ТМГ непосредственносоставляющих) (тип 1) и неограниченные ТМГ (тип 0). Для этих случаев входящие МГ грамматики ( Грамматики типа 0нет ограничений на тип правил подстановки. 2. Грамматики типа 1-хотя бы одна грамматика содержит |
62 2. Признаки, характеризующие схему правил согласования МГ: мощность множества правил согласования; особенности общей схемы правил согласования; однородность правил согласования; тип правил согласования; особенности задания мер на множестве правил согласования; однозначность правил согласования. На рис. 2.1, аналогично [25] представлен фрагмент классификации МГ по данной системе признаков. Анализ данных классов показывает, что МГ, как средство системного объединения грамматик в целях моделирования НПК рассматриваемого класса, существенно превосходят возможности существующих классов грамматик. При этом, аналогично [27-32], при таком объединении проявляются важные системообразующие особенности МГ, позволяющие при системном объединении достаточно простых (обычнорегулярных) грамматик моделировать сложные структурно-семантические зависимости, характерные для НПК. Большое разнообразие возможных классов МГ, отличающихся своими «выразительными» возможностями, характером структурных взаимосвязей в схеме правил согласования МГ, позволяет использовать их при решении широкого круга прикладных задач моделирования декодируемых НПК для GRID систем. Рассмотрим обобщенные характеристики основных подклассов МГ и их отдельных свойств. Одним из наиболее важных классификационных признаков, определяющим выразительные возможности МГ и большинства других классов формальных грамматик и грамматических структур, является тип используемых правил подстановки (продукций) [19]. В соответствии с общепринятой классификацией формальных грамматик по Хомскому [23], выделяют 4 типа МГ, отличающихся ограничениями, накладываемыми на множество продукций: регулярные (тип 3), контекстно-свободные (тип 2), контекстно-зависимые ОП МГ (ОП МГ непосредственносоставляющих) (тип 1) и неограниченные ОП МГ (тип 0). Для этих случаев входящие МГ грамматики { Грамматики типа 0 нет ограничений на тип правил подстановки. 2. Грамматики типа 1—хотя бы одна грамматика содержит правила aiA a2—>otipa2, где A s V^, а\, (3, a 2 е V * j , р^е (е-пустая цепочка), V*; итерация множества V; = VNi uV-n, а остальные грамматики имеют схемы с более сильными ограничениями на тип правил подстановки (правила типа 2 и 3). 3. Грамматики типа 2-хотя бы одна грамматика содержит правила А->р, где Ае VNi, Ре V+j, V+jположительная итерация множества V, = VNi uV[i, а остальные грамматики имеют схемы с более сильными ограничениями на тип правил подстановки (правила типа 3). 4. Грамматики типа 3-грамматики содержат правила типа 3 А-»аВ, или А—»а, где А,Be Умь ае Уц. Соответственно, ОП МГ подобных типов будем обозначать Grc(i), где i-тип ОПМГ, i=0(l)3. Применение МГ различных типов определяется особенностями синтаксической структуры специфицируемых НПК, требованиями к полноте, адекватности и структурной сложности создаваемых формальных 65 |