4.2 Атрибутная грамматика

<I>_A1B1 ::= '{'<Опис.>_A2B2 <Опер.>_A3B3 '}'

A2=A1;A3=B2;B1=B3

<Массив b>_{A4B4X1} ::= '<arr>'<Ид.>_X2' '<Ч.>_Y1{ЗРМ}_{X3Y2R1R2} <R3>_X4R3{ФМБ}_{A5B5X5}'</arr>'

A5=A4;B4=B5;R1=0;R3=R2;(X1,X3,X4,X5)=X2;Y2=Y1

<Массив c>_{A6B6X6} ::= '<arr>'<Ид.>_X7' '<Ч.>_Y3{ЗРМ}_{X8Y4R4R5} <R3>_X9R6{ФМЧ}_{A7B7X10}'</arr>'

A7=A6;B6=B7;R4=0;R6=R5;(X6,X8,X9,X10)=X7;Y4=Y3

<R3>_X11R7 ::= ' '<Ч.>_Y5{ЗРМ}_{X12Y6R8R9} <R3>_X13R10

R8=R7;R10=R9;(X12,X13)=X11;Y6=Y5

<R3>_X14R11 ::= $

<Эл. мас.>_T1 ::= '<marr>'<Ид.>_X15' '<Ч.>_Y7{ФСД}_{X16Y8R12R13P1P2}<R4>_{X17R14P3P4}{ФУТЗЭМ}_{X18P5T2}'</marr>'

T1=T2;(X16,X17,X18)=X15;Y8=Y7;P1=0;P3=P2;R12=0;R14=R13;P5=P4

<R4>_{X19R15P6P7} ::= ' '<Ч.>_Y9{ФСД}_{X20Y10R16R17P8P9}<R4>_{X21R18P10P11}

(X20,X21)=X19;Y10=Y9;P8=P6;P10=P9;R16=R15;R18=R17;P7=P11

<R4>_{X22R19P12P13} ::= $

P13=P12

<Опис.>_A8B8 ::= '<bool>'<Тип Bool>_A9B9 '</bool>'';'<R5>_A10B10

A9=A8;A10=B9;B8=B10

<Опис.>_A11B11 ::= '<char>'<Тип Char>_A12B12 '</char>'';'<R5>_A13B13

A12=A11;A13=B12;B11=B13

<Тип Bool>_A14B14::= <Ид.>_X23{ВПБ}_{A15B15X24}<R6>_A16B16

A15=A14;A16=B15;X24=X23;B14=B16

<Тип Bool>_A17B17 ::= <Массив b>_{A18B18X25}<R6>_A19B19

A18=A17;A19=B18;B17=B19

<Тип Bool>_A20B20 ::= '<ass>'<Класс Bool>_A21B21'</ass>'<R6>_A22B22

A21=A20;A22=B21;B20=B22

<Класс Bool>_A23B23 ::= <Ид.>_X26{ВПБ}_{A24B24X27}' '<Константа>_Z1{ЗТЗ}_X28Z2

A24=A23;B23=B24;(X27,X28)=X26;Z2=Z1

<Класс Bool>_A25B25 ::= <Массив b>_{A26B26X29}<Иниц.мас.Bool>_X30

A26=A25;B25=B26;X30=X29

<Иниц.мас.Bool>_X31 ::= '<iarr>'<Константы>_X32'</iarr>'

X32=X31

<Константы>_X33 ::= <Константа>_Z3{ЗТЗМБ}_{X34Z4P14P15}<R7>_X35P16

(X34,X35)=X33;Z4=Z3;P14=0;P16=P15

<R7>_X36P17:= ' '<Константа>_Z5{ЗТЗМБ}_{X37Z6P18P19}<R7>_X38P20

(X37,X38)=X36;Z6=Z5;P18=P17;P20=P19

<R7>_X39P21 ::= $

<R6>_A27B27 ::= ','<Тип Bool>_A28B28

A28=A27;B27=B28

<R6>_A29B29 ::= $

B29=A29

<Тип Char>_A30B30::= <Ид.>_X40{ВПЧ}_{A31B31X41}<R8>_A32B32

A31=A30;A32=B31;X41=X40;B30=B32

<Тип Char>_A33B33 ::= <Массив c>_{A34B34X42}<R8>_A35B35

A34=A33;A35=B34;B33=B35

<Тип Char>_A36B36 ::= '<ass>'<Класс Char>_A37B37'</ass>'<R8>_A38B38

A37=A36;A38=B37;B36=B38

<Класс Char>_A39B39 ::= <Ид.>_X43{ВПЧ}_{A40B40X44}' '<Символ>_C1{ЗТЗ}_X45C2

A40=A39;B39=B40;(X44,X45)=X43;C2=C1

<Класс Char>_A41B41 ::= <Массив c>_{A42B42X46}<Иниц.мас.Char>_X47

A42=A41;B41=B42;X47=X46

<Иниц.мас.Char>_X48 ::= '<iarr>'<Символы>_X49'</iarr>'

X49=X48

<Символы>_X50 ::= <Символ>_C3{ЗТЗМЧ}_{X51C4P22P23}<R9>_X52P24

(X51,X52)=X51;C4=C3;P22=0;P24=P23

<R9>_X53P25 ::= ' '<Символ>_C5{ЗТЗМЧ}_{X54C6P26P27}<R9>_X55P28

(X55,X56)=X53;C6=C5;P26=P25;P28=P27

<R9>_X56P29 ::= $

<R8>_A43B43 ::= ','<Тип Char>_A44B44

A44=A43;B43=B44

<R8>_A45B45 ::= $

B45=A45

<R5>_A46B46 ::= <Опис.>_A47B47

A47=A46;B46=B47

<R5>_A48B48 ::= $

B48=A48

<Опер.>_A49B49 ::= '<ass>'<Оп1>_T3' '<Л.опер.>_{A50B50T4}{ФAT=}_{T5T6T7}'</ass>';'<R10>_A51B51

A50=A49;A51=B50;B49=B51;(T5,T7)=T3;T6=T4

<Оп1>_T8 ::= <Ид.>_X57{ФУТЗИ}_X58T9

T8=T9;X58=X57

<Оп1>_T10 ::= <Эл.мас.>_T11

T10=T11

<Л.опер.>_{A52B52T12}::= '<and>'<Оп2>_{A53B53T13}' '<Оп2>_{A54B54T14}{ФAT&}_{T15T16T17}{УК}_B55B56'</and>'

A53=A52;A54=B53;B52=B56;(T12,T17,B55)=B54;T15=T13;T16=T14

<Л.опер.>_{A57B57T18}::= '<or>'<Оп2>_{A58B58T19}' '<Оп2>_{A59B59T20}{ФATV}_{T21T22T23}{УК}_B60B61'</or>'

A58=A57;A59=B58;B57=B61;(T18,T23,B60)=B59;T21=T19;T22=T20

<Л.опер.>_{A62B62T24} ::= '<not>'<Оп2>_{A63B63T25}{ФАТ!}_{T26T27T28}{УК}_B64B65'</not>'

A63=A62;B62=B65;(T24,T28,B65)=B63;T26=T25;T27=NULL

<Оп2>_{A66B66T29} ::= <Символ>_C7

T29=C7;B66=A66

<Оп2>_{A67B67T30} ::= <Константа>_Z7

T30=Z7;B67=A67

<Оп2>_{A68B68T31} ::= <Л.опер.>_{A69B69T32}

A69=A68;B68=B69;T31=T32

<Оп2>_{A70B70T33} ::= <Ид.>_X59{ФУТЗИ}_X60T34

T33=T34;X60=X59;B70=A70

<Оп2>_{A71B71T35} ::= <Эл.мас.>_T36

T35=T36;B71=A71

<R10>_A72B72 ::= <Опер.>_A73B73

A73=A72;B72=B73

<R10>_A74B74 ::= $

B74=A74

При работе нам понадобятся следующие атрибуты:

1. Идентификатор

X-номер идентификатора в таблице идентификаторов

2. Число

Y-номер числа в таблице чисел

3. Константа bool

Z-номер ячейки в таблице констант bool

3. Константа char

C-номер ячейки в таблице констант char

4. Ячеки таблицы значений

A,B-атрибуты для работы с ячейками таблицы значений

A-указывает на очередную свободную ячейку, B-указывает на следующую свободную ячейку.

T-номер ячейки памяти, где хранится данная переменная

5. Массив

R-номер (по порядку) очередного обрабатываемого числа в конструкциях, определяю-щих действие над массивом (его элементами)

P-сдвиг в массиве относительно его начала

Все наследуемые атрибуты предназначены для сборки информации о переменных, операциях. Все наследуемые атрибуты предназначены для реагирования на какие-либо действия (формирование новой переменной, операции).