13.3.

, .

-- ::=   for -- use ;

, — , — - .

, . , , .

:

type MIX_CODE is (ADD, SUB, MUL, LDA, STA, STZ);for MIX_CODE use   (ADD => 1, SUB => 2, MUL => 3, LDA => 8, STA => 24, STZ => 33);

. SUCC, PRED PCS ; () , . - , , , . .

: 4.3, 4.3.2, 3.5.5, 3.7.3, 3.6, 3.6, 3.3, 4.2, 3.5.1, 3.3.1, 3.5.1, 3.5.1, 3.6, 4.1, 13.1, 4.9, 3.3, - 3.5.4, 6.5.