3.4 Описание перевода

3.4.1 Атг для программы

1. N1  program idc ; N3 .

2. N1  N3 .

3. N3  N16 operator

4. N3  operator

5. N7  idl , N7

6. N7  idl

7. N10  N8 N10

8. N10  N8

9. N12_t  Expression_t1,v1,n1 .. Expression_t2,v2,n2

t  longint // тип диапазона longint

If (t1, t2 = boolean, boolmatr) then {ошибка построения типа диапазона}

if (v1>v2) then {ошибка, константа слева должна быть меньше}

10. N12_t  idt_t1

t  t1 // Номер типа в таблице типов

11. N12_t  boolmatr [Expression_t1,v2,n3 , Expression_t2,v2,n2 ]

t  Номер boolmatr в таблице типов

if (t1,t2= boolean, boolmatr) then {ошибка типа выражения}

12. N16  N18 N16

13. N16  label N7 ;

14. N16  const N10

15. N16  type N23

16. N16  var N26

17. N16  N19 N16

18. N16  N20 N16

19. N16  N21 N16

20. N18  label N7 ;

21. N19  const N10

22. N20  type N23

23. N21  var N26

24. N22  idt = N12_t ;

25. N23  N22 N23

26. N23  idt = N12_t ;

27. N25  idv_t,v,n , N25 {VAR}_t,n

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

28. N25  idv_t,v,n {VAR}_t,n

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

v0

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

{VAR}_t.n

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

if t=boolmatr {выдать на выход триаду ARG M,N}

29. N26  N25 : N12 ;

30. N26  N25 : N12 ; N26

31. N8  idc_t1,v1,n1 = Expression_t2,v2,n2 ;

t1t2 //Присвоение типа константе

v1v2 // Присвоение значения константы

n1n2 // Если n>0 то ошибка переменная в константном выражении

32. N8  idc_t1,v1,n1 : N12_t = Expression_t2,v2,n2 ;

t1t2 //Присвоение типа константе если t=t2, иначе ошибка

v1v2 // Присвоение значения константы

n1n2 // Если n>0 то ошибка переменная в константном выражении

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

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