|
67 формальной системы: Grc = <{Gi(1),{ }, Gt (3) ,{Gi4(4)},{Gl5 (5)}}Wrc>, где Gi(1) регулярная грамматика, описывающая порядок передачи кадров, аналогично [3], G/l) e{Gr] обозначениях [15]; {Gl2 (2)} множество грамматик, описывающих структуру кадров с детализацией уровня служебных и информационных полей, аналогично [3], i2=l(l)6, если описываются S-,Vи I кадры "прямого" и "обратного каналов и i2= 1(1)3 для однонаправленной передачи); G/3) регулярная грамматика, описывающая порядок подстановки пакетов в поля данных информационных кадров, специфицируя с этой целью разрешенные последовательности применения продукций в грамматиках {G,4(4)} аналогично [3]; {Gl4 (4)} множество грамматик, описывающих возможные структуры пакетов, аналогично грамматикам {Gl2 (2)} (14=1(1)18 для описания сигналов одной станции); {G,5(5)} -множество грамматик, описывающих синтаксическую структуру кадров и пакетов с детализацией до отдельных синтаксически значимых, бит и их комбинаций, аналогично [3], {Gi5 (5)} е {Gim} в обозначениях [19]; Wrcсхема правил управления МГ, обобщенная структура W°rc: G,® {G,2(2)} G,® {Gl4 (4)} {0,5®! Gi(1) {TS(1)} {оЛ {TS(3)} {TS(1)} {TS(1)) G,® [TP(4)} {Gl4 (4)} [TS(1)} |
134 В данном случае Gj(1) регулярная грамматика, описывающая порядок передачи кадров, аналогично [150], Gi(1) e{Gr} в обозначениях [1]; {Gi2 (2)} множество грамматик, описывающих структуру кадров с детализацией уровня служебных и информационных полей, аналогично [3], i2=l(l)6 если описываются S-,Vи I кадры "прямого" и "обратного” каналов i2= 1(1)3 для однонаправленной передачи); G/3) регулярная грамматика, описывающая порядок подстановки пакетов в поля данных информационных кадров, специфицируя с этой целью разрешенные последовательности применения продукций в грамматиках {Gi4 (4)} аналогично [102]; {Gi4 (4)} множество грамматик, описывающих возможные структуры пакетов, аналогично грамматикам {Gj2 (2)} (14=1 (1)18 для описания сигналов одной станции); {Gi5 (5)} множество грамматик, описывающих синтаксическую структуру кадров и пакетов с детализацией до отдельных синтаксически значимых бит и их комбинаций, аналогично [96], {Gi5 (5)} е {Gim} в обозначениях [96]; F схема правил управления ГС, обобщенная структура F°rc которой специфицируется следующей матрицей: G](1) {Gl2<21} G/3) {Gi5<5)} Gj(1) {QbS} {О,Л {CbK} { QbS } { Qbs } (Qk) TgT7} {Qbs} Правила управления {QbS} задают декомпозицию полей кадров и пакетов, правила {Ськ} определяют порядок подстановки пакетов в поля "данные" информационных кадров аналогично [96]. |