[ Pobierz całość w formacie PDF ]
set. EXPRESSION. L127 set. EXPRESSION. L140
set. EXPRESSION. L197 set. EXPRESSION. L213
set. EXPRESSION. L40 set. EXPRESSION. L57
set. EXPRESSION. L71 set. FUNCTION set. FUNCTION. L187
set. FUNCTION. L191 set. FUNCTION. L48
set. FUNCTION. L78 set. LINKREG
set. LINKREG. DEPTH_OKAY set. LINKREG. L13
set. LINKREG. L132 set. LINKREG. L194 set. LINKREG. L198
set. LINKREG. L217 set. LINKREG. L223 set. LINKREG. L250
set. LINKREG. L44 set. LINKREG. L5 set. LINKREG. L61
set. LINKREG. L72 set. LINKREG. L76
set. LINKREG. OLD_DEPTH set. LINKREG2
set. LINKREG2. L122 set. LINKREG2. L129
set. LINKREG2. L133 set. LINKREG2. L135
4.3. THE ARITHMETIZATION OF EVAL 127
set. LINKREG2. L142 set. LINKREG2. L16
set. LINKREG2. L167 set. LINKREG2. L169
set. LINKREG2. L179 set. LINKREG2. L181
set. LINKREG2. L193 set. LINKREG2. L199
set. LINKREG2. L201 set. LINKREG2. L205
set. LINKREG2. L216 set. LINKREG2. L218
set. LINKREG2. L222 set. LINKREG2. L224
set. LINKREG2. L233 set. LINKREG2. L243
set. LINKREG2. L249 set. LINKREG2. L251
set. LINKREG2. L257 set. LINKREG2. L43
set. LINKREG2. L45 set. LINKREG2. L60 set. LINKREG2. L62
set. LINKREG2. L75 set. LINKREG2. L77
set. LINKREG2. UNWIND set. LINKREG3 set. LINKREG3. L101
set. LINKREG3. L108 set. LINKREG3. L124
set. LINKREG3. L157 set. LINKREG3. L160
set. LINKREG3. L175 set. LINKREG3. L186
set. LINKREG3. L189 set. LINKREG3. L196
set. LINKREG3. L212 set. LINKREG3. L229
set. LINKREG3. L239 set. LINKREG3. L245
set. LINKREG3. L255 set. LINKREG3. L261
set. LINKREG3. L265 set. LINKREG3. L269
set. LINKREG3. L29 set. LINKREG3. L33 set. LINKREG3. L39
set. LINKREG3. L51 set. LINKREG3. L56 set. LINKREG3. L67
set. LINKREG3. L70 set. LINKREG3. L82 set. LINKREG3. L86
set. PARENS set. PARENS. L282 set. PARENS. L284
set. PARENS. L286 set. SOURCE set. SOURCE. BIND
set. SOURCE. COPY_TL set. SOURCE. COPY1
set. SOURCE. EVAL set. SOURCE. EVALST
set. SOURCE. EXPRESSION_ISNT_ATOM set. SOURCE. L106
set. SOURCE. L123 set. SOURCE. L128 set. SOURCE. L141
set. SOURCE. L156 set. SOURCE. L159 set. SOURCE. L174
set. SOURCE. L188 set. SOURCE. L192 set. SOURCE. L195
set. SOURCE. L211 set. SOURCE. L215 set. SOURCE. L221
set. SOURCE. L227 set. SOURCE. L238 set. SOURCE. L242
set. SOURCE. L244 set. SOURCE. L248 set. SOURCE. L253
set. SOURCE. L259 set. SOURCE. L28 set. SOURCE. L280
set. SOURCE. L32 set. SOURCE. L42 set. SOURCE. L50
set. SOURCE. L55 set. SOURCE. L59 set. SOURCE. L66
set. SOURCE. L81 set. SOURCE. L85 set. SOURCE. NO_LIMIT
128 CHAPTER 4. THE LISP INTERPRETER EVAL
set. SOURCE. NOT_EQUAL set. SOURCE. NOT_EVALD
set. SOURCE. NOT_IF_THEN_ELSE set. SOURCE. NOT_RPAR
set. SOURCE. POP_ROUTINE set. SOURCE. THEN_CLAUSE
set. SOURCE2 set. SOURCE2. COPY2 set. SOURCE2. L107
set. SOURCE2. L173 set. SOURCE2. L228 set. SOURCE2. L254
set. SOURCE2. L260 set. SOURCE2. L301
set. SOURCE2. PUSH_ROUTINE set. SOURCE2. WRAP
set. STACK set. STACK. L266 set. STACK. L270
set. STACK. L3 set. TARGET set. TARGET. JN_ROUTINE
set. TARGET. L278 set. TARGET. L299 set. TARGET. REVERSE
set. TARGET. REVERSE_HD set. TARGET. SPLIT_ROUTINE
set. TARGET2 set. TARGET2. L273 set. TARGET2. L279
set. TARGET2. REVERSE_TL set. VALUE
set. VALUE. ALIST_SEARCH set. VALUE. L102
set. VALUE. L104 set. VALUE. L109 set. VALUE. L113
set. VALUE. L116 set. VALUE. L139 set. VALUE. L176
set. VALUE. L206 set. VALUE. L230 set. VALUE. L34
set. VALUE. L52 set. VALUE. RETURNQ set. VALUE. RETURN0
set. VALUE. RETURN1 set. VARIABLES set. VARIABLES. L190
set. VARIABLES. L241 set. WORK set. WORK. COPY_TL
set. WORK. COPY1 set. WORK. COPY2 set. WORK. L118
set. WORK. L119 set. WORK. L149 set. WORK. L150
set. WORK. L153 set. WORK. L154 set. WORK. L18
set. WORK. L19 set. WORK. L208 set. WORK. L209
set. WORK. L235 set. WORK. L236 set. WORK. L25
set. WORK. L26 set. WORK. L275 set. WORK. L276
set. WORK. L281 set. WORK. L291 set. WORK. L300
set. WORK. L301 set. WORK. L90 set. WORK. L91
set. WORK. NOT_RPAR set. WORK. REVERSE
set. WORK. REVERSE_HD set. WORK. REVERSE_TL set. X
set. X. EXPRESSION_IS_ATOM set. X. L145 set. X. L158
set. X. L225 set. X. L240 set. X. L246 set. X. L252
set. X. L258 set. X. L31 set. X. L35 set. X. L83 set. X. L96
set. Y set. Y. L146 set. Y. L161 set. Y. L30 set. Y. L84
set. Y. L87 set. Y. L97 shift. ARGUMENTS shift. DEPTH
shift. EXPRESSION shift. FUNCTION shift. PARENS
shift. SOURCE shift. SOURCE2 shift. VALUE
shift. VARIABLES shift. WORK shift. X shift. Y time
total. input
4.4. START O F LEFT-HAND SIDE 129
Variables added to expand =>' s:
r1 s1 t1 u1 v1 w1 x1 y1 z1 . . . z1809
Elapsed time is 491. 678602 seconds.
4.4 The Arithmetization of EVAL: Start
of Left-Hand Side
(total. input)**2+(input. ALIST+input. ARGUMENTS+input. DEPTH+inpu
t. EXPRESSION+input. FUNCTION+input. LINKREG+input. LINKREG2+input
. LINKREG3+input. PARENS+input. SOURCE+input. SOURCE2+input. STACK+
input. TARGET+input. TARGET2+input. VALUE+input. VARIABLES+input. W
ORK+input. X+input. Y)**2 + (number. of. instructions)**2+( 308)**2
+ (longest. label)**2+(20)**2 + (q)**2+(256**(total. input+time
+number. of. instructions+longest. label+3))**2 + (q. minus. 1+1)**
2+(q)**2 + ( 1+q*i)**2+(i+q**time)**2 + (r1)**2+(L1)**2 + (s1)*
*2+(i)**2 + (t1)**2+(2**s1)**2 + ( (1+t1)**s1)**2+(v1*t1**(r1+1
)+u1*t1**r1+w1)**2 + (w1+x1+1)**2+(t1**r1)**2 + (u1+y1+1)**2+(
t1)**2 + ( u1)**2+(2*z1+1)**2 + ( r2)**2+(L2)**2 + ( s2)**2+(i)**
2 + (t2)**2+(2**s2)**2 + ( (1+t2)**s2)**2+(v2*t2**(r2+1)+u2*t2*
*r2+w2)**2 + (w2+x2+1)**2+(t2**r2)**2 + ( u2+y2+1)**2+(t2)**2 +
(u2)**2+(2*z2+1)**2 + (r3)**2+(L3)**2 + ( s3)**2+(i)**2 + (t3)
**2+(2**s3)**2 + ((1+t3)**s3)**2+(v3*t3**(r3+1)+u3*t3**r3+w3)*
*2 + ( w3+x3+1)**2+(t3**r3)**2 + (u3+y3+1)**2+(t3)**2 + (u3)**2
+(2*z3+1)**2 + (r4)**2+(L4)**2 + ( s4)**2+(i)**2 + (t4)**2+(2**
s4)**2 + ( (1+t4)**s4)**2+(v4*t4**(r4+1)+u4*t4**r4+w4)**2 + ( w4
+x4+1)**2+(t4**r4)**2 + ( u4+y4+1)**2+(t4)**2 + ( u4)**2+(2*z4+1
)**2 + (r5)**2+(L5)**2 + ( s5)**2+(i)**2 + (t5)**2+(2**s5)**2 +
((1+t5)**s5)**2+(v5*t5**( r5+1)+u5*t5**r5+w5)**2 + (w5+x5+1)**
2+(t5**r5)**2 + ( u5+y5+1)**2+(t5)**2 + (u5)**2+(2*z5+1)**2 + (
r6)**2+(L6)**2 + (s6)**2+(i)**2 + ( t6)**2+(2**s6)**2 + ((1+t6)
**s6)**2+(v6*t6**(r6+1)+u6*t6**r6+w6)**2 + (w6+x6+1)**2+(t6**r
6)**2 + ( u6+y6+1)**2+(t6)**2 + ( u6)**2+(2*z6+1)**2 + (r7)**2+(
RETURNQ)**2 + (s7)**2+(i)**2 + ( t7)**2+(2**s7)**2 + ( (1+t7)**s
7)**2+(v7*t7**(r7+1)+u7*t7**r7+w7)**2 + ( w7+x7+1)**2+(t7**r7)*
*2 + ( u7+y7+1)**2+(t7)**2 + ( u7)**2+(2*z7+1)**2 + ( r8)**2+(L8)
**2 + (s8)**2+(i)**2 + (t8)**2+(2**s8)**2 + ((1+t8)**s8)**2+(v
130 CHAPTER 4. THE LISP INTERPRETER EVAL
8*t8**(r8+1)+u8*t8**r8+w8)**2 + (w8+x8+1)**2+(t8**r8)**2 + (u8
+y8+1)**2+(t8)**2 + (u8)**2+(2*z8+1)**2 + (r9)**2+(RETURN0)**2
+ (s9)**2+(i)**2 + (t9)**2+(2**s9)**2 + ( (1+t9)**s9)**2+(v9*t
9**(r9+1)+u9*t9**r9+w9)**2 + ( w9+x9+1)**2+(t9**r9)**2 + (u9+y9
+1)**2+(t9)**2 + ( u9)**2+(2*z9+1)**2 + (r10)**2+(L10)**2 + (s1
0)**2+(i)**2 + ( t10)**2+(2**s10)**2 + ((1+t10)**s10)**2+(v10*t
10**(r10+1)+u10*t10**r10+w10)**2 + ( w10+x10+1)**2+(t10**r10)**
2 + (u10+y10+1)**2+(t10)**2 + ( u10)**2+(2*z10+1)**2 + ( r11)**2
+(RETURN1)**2 + (s11)**2+(i)**2 + (t11)**2+(2**s11)**2 + ((1+t
11)**s11)**2+(v11*t11**(r11+1)+u11*t11**r11+w11)**2 + (w11+x11
+1)**2+(t11**r11)**2 + ( u11+y11+1)**2+(t11)**2 + ( u11)**2+(2*z
11+1)**2 + ( r12)**2+(UNWIND)**2 + (s12)**2+(i)**2 + (t12)**2+(
2**s12)**2 + ( (1+t12)**s12)**2+(v12*t12**(r12+1)+u12*t12**r12+
w12)**2 + (w12+x12+1)**2+(t12**r12)**2 + (u12+y12+1)**2+(t12)*
*2 + (u12)**2+(2*z12+1)**2 + (r13)**2+(L13)**2 + (s13)**2+(i)*
*2 + (t13)**2+(2**s13)**2 + ( (1+t13)**s13)**2+(v13*t13**(r13+1
)+u13*t13**r13+w13)**2 + ( w13+x13+1)**2+(t13**r13)**2 + (u13+y
13+1)**2+(t13)**2 + (u13)**2+(2*z13+1)**2 + (r14)**2+(L14)**2
+ (s14)**2+(i)**2 + (t14)**2+(2**s14)**2 + ( (1+t14)**s14)**2+(
v14*t14**(r14+1)+u14*t14**r14+w14)**2 + (w14+x14+1)**2+(t14**r
14)**2 + ( u14+y14+1)**2+(t14)**2 + (u14)**2+(2*z14+1)**2 + (r1
5)**2+(EVAL)**2 + (s15)**2+(i)**2 + (t15)**2+(2**s15)**2 + ((1
+t15)**s15)**2+(v15*t15**( r15+1)+u15*t15**r15+w15)**2 + (w15+x
[ Pobierz całość w formacie PDF ]