4.3. Неформальное описание перевода

1. Перевод условного оператора IF (Полная форма)

Входная конструкция:

IF <Выражение> THEN <Оператор1> ELSE <Оператор>

Последовательность тетрад:

КОП	Оп1	Оп2	Рез
<Выражение> (R - результат)
BF	Lelse	R
<Оператор1>
BRL	Lend
DEFL	Lelse
<Оператор2>
DEFL	Lend

2. Перевод условного оператора IF (Сокращённая форма)

Входная конструкция:

IF <Выражение> THEN <Оператор>

Последовательность тетрад:

КОП	Оп1	Оп2	Рез
<Выражение> (R - результат)
BF	Lend	R
<Операторы>
DEFL	Lend

3. Перевод оператора цикла WHILE

Входная конструкция:

WHILE <Выражение> DO <Оператор>

Последовательность тетрад:

КОП	Оп1	Оп2	Рез
DEFL	Lbegin
<Выражение> (R - результат)
BF	Lend	R
<Операторы>
BRL	Lbegin
DEFL	Lend

4. Перевод оператора вывода WRITELN

Входная конструкция:

WRITELN(<Выражение1>, <Выражение2>, … ,<ВыражениеN>)

Последовательность тетрад:

КОП	Оп1	Оп2	Рез
<Выражение1> (R1 - результат)
<Выражение2> (R2 - результат)
…
<Выражение1> (RN - результат)
WRT	R1
WRT	R2
…
WRT	RN
CRLF

5. Перевод оператора вывода READLN

Входная конструкция:

READLN(A1, A2, … ,AN)

Последовательность тетрад:

КОП	Оп1	Оп2	Рез
RED			A1
RED			A2
…
RED			AN
CRLF

6. Перевод оператора безусловного перехода GOTO

Входная конструкция:

…

1: <Оператор>

…

GOTO 1

Последовательность тетрад:

КОП	Оп1	Оп2	Рез
…
DEFL	Label1
<Оператор>
…
BRL	Label1

7