|
66 Фрагмент метаграмматики Св=<{С15С2,С31,С41},И7;> где Gy = Vnl,Vtl,Pi,Sl,Al >, причем Vriy = {Sy,Cn,Kl2}, yty = {(CSR),(CWC)}, Ру содержит правила подстановки: S, -> {СЖ){СН} (С5Д) Д12;2)Сн -> (C^)CH;3)Cn = (СЖ);4)Д12 = (СИ С2 = Гл2,Г/2,Д2,Д2,Л2 >, причем Vn2 {S2,K21,K22,K23}, Vt2 = {{CCM\(SE)}, P2 содержит правила подстановки: S2 S,{ССМ){К2у}{К22}{К23} i (CCM)(S£){K21){К22}{К23} I (ССМ){К. 2)К21 -> (SE)K2y K2l; 3)К22 (SE)K22 К22, A!)K23->(SE)K2i\K2i. G3y=Vn3y,Vt3y,P3y,Siy,Aiy>, причем Vn3[ = {S31,C311,C312}, Vt3y = {(N10T\(Nl0F),(mQQT),(Nl00E)}, Р31 содержит правила подстановки: 531 ^{С311}{С312}С311 С312; 2)СЗН -> (МОГ) I (MOOT); 3)С312 -+ (МОД) I (М00Д). с4, = yn4l,Vt4i,P4t,S4l,A4l >, причем *4, = {54у,С4уу^4у7,КЕ4у3,КТ4у4,Р4у„и4у„Ьл„}, Рис. 1.11.Фрагмент метаграмматики, описывающей уровень внутренних магистралей СО РДЗ. Особенности применения грамматических сетей для формального описания стандартов передачи данных Ниже представлена общая схема метаграмматики, описывающей синтаксис системы протоколов Т.70 для случая, когда по каналу осуществляется передача информации от одного абонента, и дадим краткую характеристику входящих в нее элементов. МГ представляется в виде |
133 Л р Г Г .4? чередования по сетевым правилам сигналов РСДЗ, определяемых рассматриваемыми системами протоколов. Как показано в известных работах [26, 150, 174], для описания подобных систем протоколов и соответствующих им сигналов необходимо использовать более сложные грамматические конструкции, относящиеся к подклассам грамматических сетей. Даже в случае принятия ряда допущений о "конечности" отдельных сигнальных последовательностей, при попытке их описания с помощью многоуровневых регулярных грамматик возникает проблема «комбинаторного разрастания» числа правил согласования в этих метаграмматиках с ростом числа уровней сетевого вложения сигналов, что приводит к практической невозможности использования подобных формальных схем [25]. В то же время схожесть подобных конструкций с языками, рассмотренными в [96], применительно к анализу формальных свойств грамматических сетей позволяет применить для их спецификаций регулярные ГС с расширенным набором правил управления и погружения. Приведем общую схему метаграмматики, описывающей синтаксис системы протоколов Т.70 для случая, когда по каналу СПД КП осуществляется передача РСДЗ от одного абонента, и дадим краткую характеристику входящих в нее элементов. ГС представляется в виде формальной системы: Grc = <{0,"’,{ Gk12’ }, G,<3) ,{Gi4 (”},{Gl3 <5>}}, {Hik},F>, где {Gi(l) ,{ Gi2 (2> }, G,<3) ,{Gi4(4)},{Gi5 (5t}}-cTpaTH(J)n[[HpoBanHoe на 5 слоев множество грамматик определенного вида; F набор правил управления ГС, определяющих в виде соответствующей сети правила управления (определенного рода управляющих и порождающих отображений) между грамматиками {Gi(1), {Hj} множество правил погружения для грамматик {Gj(,) ,{ Gj2 (2) }, G(3) ,{Gi4(4)},{Gi5(5)}}, определяющее наборы правил погружения ГС. |