030 031 032 033 034 035 03 037

D5 ENTl -Y,2

LD4 ,2(LLINK) LD6 0,4(RLINK) JINZ б2 ST5 DY(LLINK) ENNA DY

STA 0,5(RLINKT) JMP *

D5. Обход завершен?

PI <- LLINK (P), приготовиться к шагу D2.

QI <-RLINK(Pl)

Переход к шагу D2, если Р / Y;

в противном случае установить LLINK (DY)

RLINK(Q) <- DY, RTAG(Q) <- 1. Выход из программы дифференцирования.

В следующей части программы содержатся основные подпрограммы TREE и COPY. Первая имеет три входа: TREEO, TREE1 и TREE2, в соответствии с количеством поддеревьев создаваемого дерева. Независимо от того", какой вход в подпрограмму используется, регистр г А будет содержать особую константу, которая указывает тип узла-корня конструируемого дерева. Эти особые константы представлены в строках 105-124.

038 039 040 041 042 043

047 048 049 050 051

052 053 054 055 056 057 058

060 061 062 063

105 106 107

* ОСНОВНЫЕ ПОДПРОГРАММЫ КОНСТРУИРОВАНИЯ ДЕРЕВА

TREEO

TREE1

TREE2

059 9Н

C0PYP1

C0PYP2 COPY

104 9Н

C0NO

C0N1

LDXN

MOVE

DECl

ENTl JSJ ENTl STJ

CON COfl CON

9F 2F

3F(0:2) IF

3F(0:2)

♦(RLINKT)

AVAIL

OVERFLOW

0,1(RLINKT)

3B(0:2)

*+l(0:2)

♦(LLINK)

AVAIL

OVERFLOW

0,1(LLINK)

AVAIL

♦+1(0:2)

♦(2)

0,4 COPY 0,3 9F

Функция TREE(rA).

Функция TREE(rA,rll).

Функция TREE(rA,rX,rIl). RLINK(rX) +- rll, RTAG(rX)

RLINK(rll) <- AVAIL, RTAG(rll) <- 1.

Установить LLINK для узла, следующего за корнем. гП <= AVAIL.

Копировать корень в новый узел.

Переустановить гП, чтобы он указывал на новый корень.

Выход из функции TREE,

rll указывает на новое дерево.

COPY(Pl), особый вход в COPY.

C0PY(P2), особый вход в COPY. Функция COPY(rll).

(См. упр. 13 ) Выход из COPY,

гП указывает на новое дерево. Узел, представляющий "О".

Узел, представляющий "1".

Оставшаяся часть программы соответствует программам дифференцирования DIFF [0], DIFF [1], ...; эти программы задуманы так, что после обработки бинарного оператора они возвращают управление шагу D3, а в противном случае - шагу D4.

125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143

144 145 146 147 148 149 150 151 152 153 154

* ПРОГРАММЫ ДИФФЕРЕНЦИРОВАНИЯ

VARIABLE

CONSTANT

2Н LN

LDX ENTA CMPX JE

ENTA JMP ENT5 JMP ALF LDA JAZ JMP ENTX ENTA JMP JMP LDA JAZ

CONl

CONO

TREEO

1.5 D4

COPYPl 0.5 SLASH TREE2 IB 1,5 D4

ENTA NEGOP

ENTl 0.5

JMP TREEl

JMP IB

LDA 1.6

JANZ IF

LDA AVAIL

STA 0.6(LLINK)

ST6 AVAIL

JMP D3

LDA 1,5

Верно ли, что INFO(P) = "X"?

Если верно, вызвать функцию TREE(l).

Вызвать функцию TREE (0).

Q <- адрес нового дерева.

Возврат к управляющей программе.

Возврат к управляющей программе,

если INFO(Q) = 0; в противном случае установить гП <- С0РУ(Р1) .

гП •(-TREE("/".Q,rIl).

Q 4- rll, возврат к управляющей программе. Если INFO(Q) = О, возврат.

rIl4-TREE("neg",Q).

Q <- rll, возврат к зправляющей программе.

Переход, если не выполняется INFO(Ql) = 0. AVAIL <=Q1.

Возврат к управляющей программе, бинарный оператор.