Атг для выражения

1. N2_t,v,n  N7_t1,v1,n1

tt1 // Тип выражения

vv1 // Значение выражения или ссылка на результат выполнения триады

nn1 // Если переменная, то номер в таблице переменных, n=-1, тогда в v – ссылка.

2. N2 _t,v,n  N7 _t1,v1,n1 < N2 _t2,v2,n2 {C<}_{t1, t2,v1,v2,n1,n2}

t  boolean.

n -1 // Если n=-1 то в v находится ссылка на результат выполнения триады

v (№)// Номер триады с результатом

{C<}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида CL X,Y} else

{ Ошибка в выражении }

3. N2 _t,v,n  N7 _t1,v1,n1 > N2 _t2,v2,n2 {C>}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 2

{C>}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида CG X,Y} else

{ Ошибка в выражении }

4. N2 _t,v,n  N7 _t1,v1,n1 <= N2 _t2,v2,n2 {C<=}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 2

{C<=}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида CLE X,Y} else

{ Ошибка в выражении }

5. N2 _t,v,n  N7 _t1,v1,n1 >= N2 _t2,v2,n2 {C>=}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 2

{C>=}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида CGE X,Y} else

{ Ошибка в выражении }

6. N2 _t,v,n  N7 _t1,v1,n1<> N2 _t2,v2,n2 {C<>}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 2

{C<>}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида CNE X,Y} else

{ Ошибка в выражении }

7. N2 _t,v,n  N7 _t1,v1,n1 = N2 _t2,v2,n2 {C=}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 2

{C=}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида CE X,Y} else

{ Ошибка в выражении }

8. N1_t,v,n  idv_t1,0,n1

tt1 //Тип переменной

nn1 // Номер в таблице переменных

v0 // Не определено

9. N1 _t,v,n  idc_t1,v1,0

tt1 //Тип константы

n0 // Если n=0, то в v находится значение константы

vv1 // Значение константы

10. N1 _t,v,n  idn_{t1, v1,0}

tt1 //Тип числа

n0 // Если n=0, то в v находится значение числа

vv1 // Значение числа

11. N1 _t,v,n  idv_t3,0,n3 [ N2 _t1,v1,n1 , N2 _t2,v2,n2 ] {ELEM}_{t1, t2, t3, v1, v2,n1, n2, n3}

t3 // Тип переменной

n3 // Номер в таблице переменных

t  boolean.

n -1 // Если n=-1 то в v находится ссылка на результат выполнения триады

v (№)// Номер триады с результатом

{ELEM}

if (t3=boolmatr) and (t1 совместим t2) then

{ Записать на выход триады вида ELEM n3, X

ARG Y , -

if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

} else

{Ошибка обращения к матрице}

12. N1 _t,v,n  idv_t3,n3 [Expression _t1,v1,n1 , Expression _t2,v2,n2 ]

Аналогично 11.

13. N1 _t,v,n  not N1 _t1,v1,n1 {NOT}_v1,n1

tt1 // Тип

n-1

v(№) // Номер триады с результатом

{NOT}

if n1>0 then X=n1 else X=v1

выдать на выход триаду вида NOT X, -

14. N1 _t,v,n  - N1 _t1,v1,n1 {SUB0}_t1,v1,n1

//Семантика как в 13

{SUB0}

if (t1<>boolean) and (t1<>boolmatr) then

{ if n1>0 then X=n1 else X=v1

выдать на выход триаду вида SUB 0, X

} else

{ Ошибка в выражении}

15. N1 _t,v,n  ( N2 _t1,v1,n1 )

tt1 // Тип выражения

vv1 // Значение выражения или ссылка на результат выполнения триады

nn1 // Если переменная, то номер в таблице переменных, n=-1, тогда в v – ссылка.

16. N3 _t,v,n  N1 _t1,v1,n1 and N3 _t2,v2,n2 {AND}_{t1, t2,v1,v2,n1,n2}

tt1 // Тип общий для t1 и t2

n-1

v(№) // Номер триады с результатом

{AND}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида AND X,Y} else

{ Ошибка в выражении }

17. N3 _t,v,n  N1 _t1,v1,n1

//Семантика как в 15

18. N4 _t,v,n  N3 _t1,v1,n1 div N4 _t2,v2,n2 {DIV}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 16

{DIV}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) and (t1 и t2 <> boolean или boolmatr) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида DIV X,Y} else

{ Ошибка в выражении }

19. N4 _t,v,n  N3 _t1,v1,n1 mod N4 _t2,v2,n2 {MOD}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 16

{MOD}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) and (t1 и t2 <> boolean или boolmatr) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида MOD X,Y} else

{ Ошибка в выражении }

20. N4 _t,v,n  N3 _t1,v1,n1 shl N4 _t2,v2,n2 {SHL}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 16

{SHL}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) and (t1 и t2 <> boolean или boolmatr) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида SHL X,Y} else

{ Ошибка в выражении }

21. N4 _t,v,n  N3 _t1,v1,n1 shr N4 _t2,v2,n2 {SHR}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 16

{SHR}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) and (t1 и t2 <> boolean или boolmatr) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида SHR X,Y} else

{ Ошибка в выражении }

22. N4 _t,v,n  N3 _t1,v1,n1

//Семантика как в 15

23. N5 _t,v,n  N4 _t1,v1,n1 * N5 _t2,v2,n2 {MUL}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 16

{MUL}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) and (t1 и t2 <> boolean или boolmatr) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида MUL X,Y} else

{ Ошибка в выражении }

24. N5 _t,v,n  N4 _t1,v1,n1

//Семантика как в 15

25. N6 _t,v,n  N5 _t1,v1,n1 or N6 _t2,v2,n2 {OR}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 16

{OR}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида OR X,Y} else

{ Ошибка в выражении }

26. N6 _t,v,n  N5 _t1,v1,n1 xor N6 _t2,v2,n2 {XOR}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 16

{XOR}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида XOR X,Y} else

{ Ошибка в выражении }

27. N6 _t,v,n  N5 _t1,v1,n1

//Семантика как в 15

28. N7 _t,v,n  N6 _t1,v1,n1 - N7 _t2,v2,n2 {SUB}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 16

{SUB}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) or (t1 и t2 <> boolean или boolmatr) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида SUB X,Y} else

{ Ошибка в выражении }

29. N7 _t,v,n  N6 _t1,v1,n1 + N7 _t2,v2,n2 {ADD}_{t1, t2,v1,v2,n1,n2}

//Семантика как в 16

{ADD}_{t1, t2,v1,v2,n1,n2}

if (t1 совместим t2) or (t1 и t2 <> boolean или boolmatr) then

{ if n1>0 then X=n1 else X=v1

if n2>0 then Y=n2 else Y=v2

Выдать на выход триаду вида ADD X,Y} else

{ Ошибка в выражении }

30. N7 _t,v,n  N6 _t1,v1,n1

//Семантика как в 15