exchange 265 execute 444 execute-application

метациклическая 339

недетерминистская 371 exp, регистр 470 expand-clauses 319 expmod 43, 46 (упр. 1.25), 46

(упр. 1.26)

expt

линейно итеративный вариант 38 линейно рекурсивный вариант 37 регистровая машина 440 (упр. 5.4) extend-environment 323, 324 extend-if-consistent 404 extend-if-possible 408 external-entry 520 extract-labels 447, 447п

#f 15п factorial

использование стека,

интерпретируемый вариант 483

(упр. 5.26), 484 (упр. 5.27)

использование стека, регистровая машина 456 (упр. 5.14)

использование стека,

скомпилированный вариант 522

(упр. 5.45)

как абстрактная машина 329 компиляция 507, 511 линейно итеративный вариант 28 линейно рекурсивный вариант 27 регистровая машина (итеративная)

422 (упр. 5.1), 425 (упр. 5.2)

регистровая машина (рекурсивная)

432, 438

с присваиванием 202 структура окружений при

вычислении 209 (упр. 3.9) через процедуры высших порядков

51 (упр. 1.31)

false 15п

false? 322

fast-expt 38 fast-prime 44 fermat-test 44 fetch-assertions 409 fetch-rules 410 fib

древовидно-рекурсивный вариант

31, 484 (упр. 5.29)

использование стека,

интерпретируемый вариант 485

(упр. 5.29)

использование стека,

скомпилированный вариант 523

(упр. 5.46)

линейно-итеративный вариант 33 логарифмический вариант 40

(упр. 1.19)

регистровая машина (с древовидной рекурсией) 437, 439

с именованным let 321 (упр. 4.8)

с мемоизацией 235 (упр. 3.27) fibs (бесконечный поток) 281

неявное определение 283 FIFO 225

filter 98

filtered-accumulate 52

(упр. 1.33)

find-assertions 404 find-divisor 42 first-agenda-item 242, 245 first-exp 318 first-frame 323 first-operand 318 first-segment 244 first-term 176, 179 fixed-point 58

как пошаговое улучшение 66

(упр. 1.46)

fixed-point-of-transform 63 flag, регистр 444 flatmap 104 flatten-stream 412

flip-horiz 109, 120 (упр. 2.50) flip-vert 109, 119

flipped-pairs 112, 115, 115п

fold-left 103 (упр. 2.38) fold-right 103 (упр. 2.38) for-each 91 (упр. 2.23), 348

(упр. 4.30)

for-each-except 253

force 275, 278

vs. вынуждение санка 343п force-it 346

вариант с мемоизацией 347

forget-value! 249, 253

Fortran (Фортран) 3, 100п изобретатель 305п ограничения на составные данные

84п

frame-coord-map 117 frame-values 324 frame-variables 324

Franz Lisp (Франц Лисп) 3п free, регистр 461, 465

fringe 94 (упр. 2.28)

как перечисление листьев дерева

99п

front-ptr 227 front-queue 226, 227 full-adder 238

gcd 41

регистровая машина 420, 441 gcd-terms 183

generate-huffman-tree 144

(упр. 2.69) get 156, 234

get-contents 443 get-global-environment 481п get-register 445 get-register-contents 441, 445

get-signal 238, 241 get-value 249, 253

goto (в регистровой машине) 423 имитация 451

переход на содержимое регистра

430

goto-dest 452 half-adder 237

half-interval-method 57

has-value? 249, 253 Hassle (Закавыка) 342п

IBM 704 72п

identity 50

if (особая форма) 15 vs. cond 16п

вычисление 15

нормальный порядок вычисления

формы 18 (упр. 1.5) одностороннее предложение (без

альтернативы) 245п почему особая форма 21 (упр. 1.6)

предикат, следствие и альтернатива

15

if-alternative 317 if-consequent 317 if-predicate 317

if? 317

imag-part

декартово представление 150 полярное представление 150 с помеченными данными 153 управляемая данными 158 imag-part-polar 152 imag-part-rectangular 152 inc 49

inform-about-no-value 250

inform-about-value 250

initialize-stack, операция регистровой машины 443, 462

insert!

для двумерной таблицы 233 для одномерной таблицы 231

insert-queue! 226, 227

install-complex-package 164 install-polar-package 157 install-polynomial-package

175

install-rational-package 163 install-rectangular-package

156

install-scheme-number-package

162

instantiate 400 instruction-execution-proc

448

instruction-text 448 integers (бесконечный поток) 280

вариант с ленивыми списками 351

неявное определение 282 integers-starting-from 280

integral 50, 294, 299 (упр. 3.77)

вариант с ленивыми списками 351 необходимость задержанного

вычисления 298 с задержанным аргументом 298 с использованием lambda 53

integrate-series 286 (упр. 3.59)

interleave 292

interleave-delayed 412

InterLisp (ИнтерЛисп) 3п intersection-set 130

представление в виде бинарных деревьев 137 (упр. 2.65)

представление в виде

неупорядоченных списков 131

представление в виде

упорядоченных списков 133 inverter 239

KRC 104п, 292п

label (в регистровой машине) 423

имитация 453 label-exp-label 453

label-exp? 453 lambda (особая форма) 52

vs. define 53

точечная запись 88п lambda-body 317 lambda-parameters 317 lambda-выражение

значение 207

lambda? 317

last-operand? 473п

last-pair 87 (упр. 2.17), 220

(упр. 3.12)

правила 386 (упр. 4.62)

leaf? 142

left-branch 135, 142 length 86

итеративный вариант 87 как накопление 101 (упр. 2.33) рекурсивный вариант 86 let (особая форма) 54 vs. внутреннее определение 55 именованный 321 (упр. 4.8) как синтаксический сахар 55, 213

(упр. 3.10)

модель вычисления 213 (упр. 3.10) область действия переменных 55

let* (особая форма) 321 (упр. 4.7)

letrec (особая форма) 335

(упр. 4.20)

lexical-address-lookup 516, 517

(упр. 5.39)

Lisp (Лисп) vs. Паскаль 9п vs. Фортран 3

аппликативный порядок

вычислений 14 диалекты см. диалекты Лиспа история 2

исходная реализация на IBM 704

72п

на DEC PDP-1 464п

процедуры как объекты первого

класса 64 система внутренних типов 166

(упр. 2.78)

сокращение от LISt Processing 2 удобство для написания

вычислителей 309 уникальные свойства 3 эффективность 3, 6п lisp-value (интерпретатор

запросов) 403 lisp-value (язык запросов) 382,

397

вычисление 391, 402, 417 (упр. 4.77) list (элементарная процедура) 84

list->tree 137 (упр. 2.64)

list-difference 505

list-exp? 317

list-of-arg-values 344 list-of-delayed-args 345 list-of-values 313

list-ref 86, 350

list-union 505

log (элементарная процедура) 60

(упр. 1.36)

logical-not 239 lookup

в двумерной таблице 233 в множестве записей 138 в одномерной таблице 230

lookup-label 448 lookup-prim 454 lookup-variable-value 323, 324

при исключенных внутренних определениях 333 (упр. 4.16) lower-bound 80 (упр. 2.7)

machine 453 Macintosh 485п MacLisp (МакЛисп) 3п magnitude

декартово представление 150 полярное представление 150