Атг для оператора

1. N1  begin N2 end

2. N1  begin if Expression_t,v,n then {JFL}_nl,t,v,n N3 end {DEFL}_nl

nl  newlabel // Метка на которую нужно перейти

t // тип выражения

v //Значение выражения

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

{JFL} _nl,t,v,n

If t=boolean then

{ if n>0 then X=n else X=v

nl := newlabel

Выдать на выход триаду вида JFL nl, X

} else {Ошибка типа выражения}

3. N2  N3

4. N2  N3 ;

5. N2  N3 ; N2

6. N2  N4

7. N2  N4 ;

8. N2  N4 ; N2

9. N3  idl_n : {DEFL}_n N3

n // номер метки в таблице меток

{DEFL}_n

Выдать на выход триаду вида DEFL n,

10. N3  idv_t1,v1,n1 := Expression_t,v,n {EQU}_{t,v,n,t1,v1,n1}

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

v //Значение выражения

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

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

v1 // неиспользуется

n1 // должен быть >0

{EQU}_t,n,t1,v1,n1

if t совместимо t1 then

{ if n>0 then

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

Выдать триаду вида EQU X,n

}else {Ошибка : ожидалась переменная}

}else {Ошибка совместимости типов}

11. N3  idv_t,v,n [Expression_t1,v1,n1 , Expression_t2,v2,n2 ] := Expression_t3,v3,n3 {EQUM}_{t,n,t1,v1,n1,t2,v2,n2,t3,n3,v3}

t_1,2,3 //Тип выражения

v_1,2,3 //Значение выражения

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

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

v // неиспользуется

n // должен быть >0

{EQUM}_{t,n,t1,v1,n1,t2,v2,n2,t3,n3,v3}

if (t совместимо t3) then

{if t2,t3<> boolean, boolmatr)

{ if n>0 then

{ if n3>0 then Z=n3 else Z=v3

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

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

Выдать триаду вида EQU Z,n

ARG X,Y

}else {Ошибка : ожидалась переменная}

} else {Ошибка в типе индекса}

}else {Ошибка совместимости типов}

12. N3  got idl_n {JMP}_n

n // номер метки в таблице меток

Выдать на выход триаду вида JMP n,

13. N3  write ( N11 )

14. N3  writeln ( N11 ) {WRITELN}

{WRITELN}

Выдать на выход триаду вида WRITE #13#10 ,

15. N3  write

16. N3  writeln {WRITELN}

17. N3  repeat_num1 N2 until Expression_t,v,n {JF}_num2, _t,v,n

Num2num1 // запомнить номер триады на которую нужно перейти

t // тип выражения

v //Значение выражения

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

{JF}_{num2 ,t,v,n}

if t=boolean {

if n>0 then X=n else X=v

Выдать на выход триаду вида JF num2, X}

Else { Ошибка типа условия }

18. N3  N1

19. N3  read ( idv_t,v,n ) {READ}_t,v,n

t // тип переменной

v = 0 // неопределено

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

if t<>boolmatr then

{ Выдать на выход триаду вида READ n,t}

else {Ошибка типа переменной}

20. N3  readln ( idv_t,v,n )

t // тип переменной

v = 0 // неопределено

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

if t<>boolmatr then

{ Выдать на выход триаду вида READ n,t

WRITE #13#10 , }

else {Ошибка типа переменной}

21. N11  N12_t,v,n {WRITE}_v,n

t // Тип выражения (строка)

v // Значение

n // Переменная или строка

{WRITE}_t,v,n

if t=0 then {X=содержимое строки }

else

if t<>boolmatr then

{ if n>0 then X=n else X=v

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

22. N11  N11 , N12 _t,v,n {WRITE}_v,n

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

23. N12_t,v,n  str_v1

t 0 // Нулевой тип

v v1 // Номер строки

n-2 // n=-2, тогда в v – ссылка на строку.

24. N12_t,v,n  Expression_t1,v1,n1

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

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

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

25. N4  if Expression_t,v,n then {JFL}_nl,t,v,n N3 else {JMP}_nl2 {DEFL}_nl N3 {DEFL}_nl2

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

nl2 // Вторая метка

26. N4  if Expression_t,v,n then {JFL}_nl,t,v,n N3 {DEFL}_nl

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

27. N4  if Expression_t,v,n then {JFL}_nl,t,v,n N3 else {JMP}_nl2 {DEFL}_nl N4 {DEFL}_nl2

Семантика как в 25