Абельсон Х., Сассман Д.Д. Структура и интерпретация компьютерных программ
Подождите немного. Документ загружается.
Предметный указатель
591
vs. математическая логика 425
в Японии 406п
история 405п, 406п
компьютеры 406п
язык логического программирования 406
ложь [false] 36п
локальная переменная [local variable] 76
локальная эволюция процесса [local
evolution of a process] 48
локальное имя 45, 76
Лок к, Джон [John Locke] 22
Лэмпорт, Лесли [Leslie Lamport] 298п
Лэмпсон, Батлер [Butler Lampson] 225п
лямбда-исчисление (λ-исчисление) [λ
calculus] 75п
Макаллестер, Дэвид Аллен [David Allen
McAllester] 385п
Макдермот, Дрю [Drew McDermott] 385п
Маккарти, Джон [John McCarthy] 23,
23п, 383п
макрос [macro] 348п, см. также
макросимволы ввода
макросимволы ввода [reader macro
characters] 444п
Марсельский университет [University of
Marseille] 405п
математика [mathematics]
vs. информатика 40, 404
vs. техника 66п
математическая функция см. функция
(математическая)
матрица, представленная как
последовательность [matrix,
represented as sequence] 126
(упр. 2.37)
Маус, Минни и Микки [Mickie and
Minnie Mouse] 426
машина Тьюринга [Turing machine] 359п
машинный язык [machine language] 517
vs. высокоуровневый язык 336
мемоизация [memoization] 57п, 260
(упр. 3.27), 372
и вызов по необходимости 312п
и сборка мусора 375п
санков 372
через delay 305
мера, в Евк лидовом кольце [measure in a
Euc lidean ring] 207п
метациклический интерпретатор для
Scheme 338
eval и apply 339
eval, управляемая данными 348
(упр. 4.3)
true и false 354
абстракция данных 339, 350 (упр. 4.10),
353
анализирующая версия 365
глобальное окружение 354
действия над окружениями 351
задача 338п
запуск 354
и символьное дифференцирование 343
комбинации (применение процедур) 348
(упр. 4.2)
компиляция 556 (упр. 5.50), 557
(упр. 5.52)
модель вычислений с окружениями 338
наличие хвостовой рекурсии
(неизвестно) 508
особые формы 348 (упр. 4.4), 349
(упр. 4.5), 349 (упр. 4.6), 349
(упр. 4.7), 349 (упр. 4.8), 350
(упр. 4.9)
особые формы как производные
выражения 346
порядок вычисления операндов 343
(упр. 4.1)
представлен ие выражений 339, 343
представлен ие истины и лжи 350
представлен ие окружений 352
представлен ие процедур 351
производные выражен ия 346
процедура высшего порядка 341п
реализуемый язык vs. язык ре ализации
342
синтаксис интерпретируемого языка 343,
348 (упр. 4.2), 350 (упр. 4.10)
управляющий цикл 356
цикл eval–apply 339
элементарные процедуры 354
эффективность 365
592
Предметный указатель
метаязыковая абстракция [metalinguistic
abstraction] 336
метка [label] 454
метка типа [type tag] 171, 175, 491п
двухуровневая 190
мечтать не вредно [wishful thinking] 94,
150
микросхема для Scheme [Scheme chip]
500, 501
«Микрошафт» (Micro shaft) 407
Миллер, Гэри Л. [Gary L. Miller] 69
(упр. 1.28)
Миллер, Джеймс С. [James S. Miller] 535п
Миллера-Рабина тест [Miller-Rabin test]
69 (упр. 1.28)
Милнер, Робин [Robin Milner] 329п
Минский, Мар вин [Marvin Minsky] 15,
495п
мировая линия частицы [world line of a
partic le] 299п, 333п
многочлен(ы) [polynomial(s)] 199
вычисление по схеме Горнера 125
(упр. 2.34)
иерархия типов 206
каноническая форма 206
от одной переменной 199
плотный [dense] 203
разреженный [sparse] 203
множество [set] 154
база данных как множество 162
операции 154
перестановки 129
подмножество 120 (упр. 2.32)
представлен ное в виде бинарного дерева
158
представлен ное в виде неупорядоченного
списк а 155
представлен ное в виде упорядоченного
списк а 156
множитель целости [integerizing factor]
209
мобиль [mobile] 118 (упр. 2.29)
модели вычисления [models of evaluation]
512
моделирование [modeling]
в науке и технике 34
как стратегия разработки 211
моделирование методом Монте -Карло
[Monte Carlo simulation] 219
формулировка в терминах потоков 330
модель вычисления с окружениями
[environment model of evaluation] 212,
227
внутреннее состояние 234
внутренние определения 238
и метациклический интерпретатор 338
и хвостовая рекурсия 234п
передача сообщений 240 (упр. 3.11)
правила вычисления 228
пример применения процедуры 231
структура окружений 227
модуль [absolute value] 36
модульность 124, 211
границы модулей, проведенные по
границам объектов 334п
и потоки 314
принцип сокрытия 215п
функциональных программ vs. объектов
330
через бесконечные потоки 331
через диспетчеризацию по типу 179
через моделирование объектов 218
момент времени [moment in time] 282
Монте-Карло, интегрирование методом
[Monte Carlo integration] 221
(упр. 3.5)
формулировка в терминах потоков 331
(упр. 3.82)
Морзе азбука см. азбука Морзе
Моррис, Дж. Г. [J. H. Morris] 225п
Мун, Дэвид А. [David A. Moon] 24п, 495п
Мунро, Иан [Ian Munro] 126п
мусор [garbage] 495
мутатор [mutator] 241
мьютекс [mutex] 294
наименьших обязательств принцип
[principle of least commitment] 175
надтип [sup ertype] 194
несколько надтипов 195
наибольший общий делитель [greatest
common divisor] 62, см. также gcd
Предметный указатель
593
для многочленов 207
используемый в арифметике
рациональных чисел 97
используемый для оценки π 219
обобщенный 208 (упр. 2.94)
накопитель [accumulator] 121, 217
(упр. 3.1)
накопление [accumulation] 74 (упр. 1.32)
по дереву 29
невычислимость [noncomputability] 360п
недетерминизм в поведении параллельных
программ 287п, 334п
недетерминистские вычисления
[nondeterministic computing] 337
недетерминистские программы
[nondeterministic programs]
логические загадки 387
пары чисел с простой суммой 381
Пифагоровы тройк и 386 (упр. 4.35), 386
(упр. 4.36), 386 (упр. 4.37)
синтаксический анализ естественного
языка 389
недетерминистский интерпретатор
[nondeterministic evaluator] 394
порядок вычисления операндов 393
(упр. 4.46)
недетерминистское вычисление
[nondeterministic computing] 381
недетерминистское программирование vs.
программирован ие на Scheme
[nondeterministic programming vs.
Scheme programming] 381, 388
(упр. 4.41), 389 (упр. 4.44), 448
(упр. 4.78)
неопределенные значения [unspecified
values]
define 28п
display 96п
if без альтернативы 271п
newline 96п
set! 214п
set-car! 242п
set-cdr! 242п
неподвижная точка [fixed point, of a
function] 80
в методе Ньютона 84
вычисление с помощью калькулятора
81п
золотое сечение 82 (упр. 1.35)
и унификация 438п
как пошаговое улучшение 89 (упр. 1.46)
квадратный корень 81, 84, 86
корень n-ной степени 88 (упр. 1.45)
корень четвертой степени 88 (упр. 1.45)
кубически й корень 84
трансформации некоторой функции 86
функции косинус 81
несвязанная переменная [unbound variable]
227
нестрогая процедура [non-strict procedure]
371
неудача, в недетерминистских
вычислениях
vs. ошибка 397
и поиск 384
неудача, в недетерминистском вычислении
[failure in nondeterministic
computation] 383
НОД см. наибольший общий дели те ль
номер кадра [frame number] 548
нормальный порядок вычислений
[normal-order evaluation] 35, 337
if 39 (упр. 1.5)
vs. аппликативный порядок 39
(упр. 1.5), 64 (упр. 1.20), 370
в вычислителе с явным управлением 511
(упр. 5.25)
и задержанные вычисления 328
нотация в настоящей книге [notation in
this book]
наклонный шрифт для ответов
интерпретатора 26п
нотация в настоящей книге
курси в в синтаксисе выражений 32п
нужные регистры [neede d registers] 523
Ньютона метод [Newton’s method] 84
vs. метод половинного деления 85п
для дифференцируем ых функций 84
для квадратных корней 40, 86
для кубических корней 43 (упр. 1.8)
область действия переменной [scope of a
594
Предметный указатель
variable] 45, см. также лексическая
сфера действия
в let 77
внутренняя define 360
формальные параметры процедуры 45
обмассив [obarray] 492
обобщенные арифметические операции
[generic arithmetic operations] 187
структура системы 187
обобщенные операции [generic operations]
93
обобщенные процедуры [generic
procedures] 167, 171
обобщенный селектор 177, 179
обработка ошибок [error handling]
в вычислителе с явным управлением
512, 516 (упр. 5.30)
в скомпилированном коде 554п
обработка потоков [stream processing] 35п
обработка сигналов [signal processing]
переход сигнала через ноль 323
(упр. 3.74), 323 (упр. 3.75), 324
(упр. 3.76)
потоковая модель 321
сглаживание сигнала 323 (упр. 3.75),
324 (упр. 3.76)
сглаживание функции 88 (упр. 1.44)
образец [pattern] 409
обратная кавычка [backquote] 524п
объект(ы) [object(s)] 211
преимущества введения в
моделирование 218
с состоянием, меняющимся во времени
213
объектная программа [object program] 517
объектно-ориентированные языки
программирован ия [object-oriented
programming languages] 195п
обычные числа [ordinary numbers]
в обобщенной арифметической системе
187
ограничения [constraints]
распространение 271
элементарные 272
окружение [environment] 28, 227
в интерпретаторе запросов 449
(упр. 4.79)
времени компиляции см. окружение
времени компиляции
глобальное [global] 227, см. глобальное
окружение
и лексическая сфера действия 47
и переименование 448 (упр. 4.79)
как контекст для вычисления 30
объемлющее [enclosing] 227
окружение времени компиляции
[compile-time environment] 549, 549
(упр. 5.40), 549 (упр. 5.41)
и явное кодирование 550 (упр. 5.44)
операнды комбинации [operands of a
combination] 26
оператор комбинации 26
в виде lambda-выражения 75
в виде составного выражения 39
(упр. 1.4)
как комбинация 84п
оператор присваивания [assignment
operator] 212, см. также set!
операция [operation]
в регистровой машине 451
обобщенные 93
со смешанн ыми типами 191
определение процедуры [procedure
definition] 31
определения см. define; внутренние
определения
определенный интеграл [definite integral]
72
приближенное вычисление методом
Монте-Карло 221 (упр. 3.5), 331
(упр. 3.82)
оптимальность [optimality]
кода Хаффмана 165
схемы Горнера 125п
освобождение мьютекса 294
особая форма [spec ial form] 31
vs. процедура 371 (упр. 4.26), 379
как производное выражение в
интерпретаторе 346
необходимость 42 (упр. 1.6)
особые формы
and 37
Предметный указатель
595
begin 214
cond 36
cons-stream (нс) 302
define 28, 32
delay (нс) 302
if 37
lambda 75
let 76
let* 349 (упр. 4.7)
letrec 363 (упр. 4.20)
or 37
quote 147п
set! 214
именованный let 349 (упр. 4.8)
остановки проблема [halting problem] 360
(упр. 4.15)
остаток по модулю [remainder modulo n]
65
Островски й, А. М. 125п
отладка [debugging] 23
отложенная операция [deferred operation]
50
относительности теория [theory of
relativity] 298
отношения, вычисления в терминах
отношений 272, 405
отображение [map] 121
вложенное 128, 318
деревьев 119
как преобразователь 121
списков 112
отображение координат рамки [frame
coordinate map] 140
отрезок [line segment]
представлен ие в виде пары векторов 142
(упр. 2.48)
представлен ие в виде пары точек 99
(упр. 2.2)
отслеживаемая процедура [monitored
procedure] 217 (упр. 3.2)
очередь [queue] 250
в плане действий 269
голова [front] 250
двус торонняя 254 (упр. 3.23)
операции 250
реализация в виде процедуры 254
(упр. 3.22)
хвост [rear] 250
ошибка [bug]
захват свободной переменной 46
побочного эффекта 225п
порядок присваиваний 226
ошибка округления [roundoff error] 25п
ошибки округления 172п
пакет [package] 180
Scheme-number 187
декартово представление 181
комплексные числа 189
многочлены 200
полярное представление 181
рациональные числа 188
память [memory]
в 1964 г. 384п
со списковой структурой [list-structured]
489
Пан, В. Я . 126п
пара (пары) [pair(s)] 95
аксиоматическое определение 100
бесконечные потоки 318
изменяемые 242
использование для представления дерева
115
использование для представления
последовательности 107
ленивые 379
представлен ные с помощью векторов 490
процедурное представление 100, 249,
379
стрелочная нотация 106
параллелизм 281, 282
и функциональное программирование
333
механизмы для управления 287
правильность параллельных программ
285
тупик 296
параметр [parameter] см. формальные
параметры
Паскаль, Блез [Blaise Pascal] 57п
596
Предметный указатель
передача сообщений [message passing]
101, 184, 185, 216
в банковском счете 216
в имитаторе цифровых схем 265
и модель с окружениям и 240 (упр. 3.11)
и хвостовая рекурсия 51п
переменная [variable] 28, см. также
локальная переменная
значение [value] 28, 227
несвязанная [unbound] 227
область действия 45, см. также область
действия переменной
свободная 45
связанная 45
переменная образца [pattern variable] 409
представлен ие 430, 444
переменная состояния [state variable] 51,
212
внутренняя 213
перенаправляющий адрес [forwarding
address] 496
перенос языка (на новый компьютер)
[porting a language] 554
перестановки множества [permutations of a
set] 129
переход сигнала через ноль 323
(упр. 3.74), 323 (упр. 3.75), 324
(упр. 3.76)
перечислитель [enumerator] 121
Перлис, Алан Дж. [Alan J. Perlis] 13, 107п
афоризмы 27п, 31п
печать входных выражений [typing input
expressions] 27п
печать, элементарные процедуры
[primitive s for printing] 96п
пи (π)
аппроксимация через интегрирование
методом Монте-Карло 221 (упр. 3.5)
оценка Чезаро 219, 330
поток приближений 315
приближенное вычисление методом
половинного деления 80, 331
(упр. 3.82)
приближенное вычисление через
интегрирование методом
Монте-Карло 221 (упр. 3.5), 331
(упр. 3.82)
ряд Лейбница 70п, 315
формула Уоллиса 73 (упр. 1.31)
Пингала, Ачарья [
´
Ach
´
arya Pingala] 61п
Питман, Кент [Kent Pitman ] 24п
Пифагоровы тройк и [Pythagorean triples]
в недетерминистских программах 386
(упр. 4.35), 386 (упр. 4.36), 386
(упр. 4.37)
в потоках 320 (упр. 3.69)
план действий [agenda] 267, см. также
имитация цифровых схем
плотный многочлен [dense polynomial] 203
поддержание истины [truth maintenance]
385п
подкоренное число [radicand] 41
подпрограмма, в регистровой машине
[subroutine] 461
подсказка [prompt] 356
вычислитель с явным управлением 512
интерпретатор запросов 430
ленивый интерпретатор 374
метациклический интерпретатор 356
недетерминистский вычислитель 401
подсказка вывода [output prompt] 356
подстановка [substitution] 34п
подстановочная модель применения
процедуры 33, 34, 227
неадекватность 222
форма процесса 49
подсчет команд [instruction counting] 488
(упр. 5.15)
подтип [subtype] 194
несколько подтипов 195
подчиняется (правило) 414, 428
(упр. 4.64)
поиск [search]
в глубину [depth-first] 384
по бинарным деревьям 158
систематический [systematic] 384
поиск с возвратом [backtracking]
управляемый зависимостями
[dependency-directed] 385п
хронологически й [chronological] 384
показатель конца списка [end-of-list
marker] 107
Предметный указатель
597
поле типа [type field] 491п
полноправные элементы вычисления
[first-class elements of computation]
87, см. также элементы вычисления
первого к ласса
половинного деления метод [half-interval
method] 78
half-interval-method 80
vs. метод Ньютона 86п
полусумматор [half-adder] 261
half-adder 262
имитация 268
пометка с очисткой [mark-sweep] 495п
помеченные данные [tagged data] 175,
490п
порождение предложений [generating
sentences] 393 (упр. 4.49)
порядок вычисления [order of evaluation]
в Scheme 227 (упр. 3.8)
в вычислителе с явным управлением 505
в компиляторе 546 (упр. 5.36)
в метациклическом интерпретаторе 343
(упр. 4.1)
зависимость от реализации 229п
и присваивания 227 (упр. 3.8)
порядок вычисления подвыражений [order
of subexpression evaluation] см.
порядок вычисления
порядок роста [order of growth] 58
древовидно-рекурсивный процесс 58
линейно итеративный процесс 58
линейно рекурсивный процесс 58
логарифмический 60
способ записи 58
порядок событий [order of events]
неопределенность в параллельных
системах 284
отделение от внешней структуры
процедур 304
последовательное возведение в квадрат
[successive squaring] 60
последовательности [sequences] 73п, 107
как источник модульности 124
как стандартные интерфейсы 120
операции 122
представлен ные в виде пар 107
последовательность выражений [sequence
of expressions]
в следствии cond 37п
в теле процедуры 32п
последовательность команд [instruction
sequence] 521, 536
поток(и) [stream(s)] 211, 298, 299
бесконечные см. бесконечные потоки
и задержанное вычисление 324
используемые в интерпретаторе языка
запросов 418, 424п
неявное определение 309
пустые 301
реализованные в виде задержанных
списков 299
реализованные в виде ленивых списков
379
пошаговое написание [incremental
development] 28
пошаговое улучшение [iterative
improvement] 89 (упр. 1.46)
правило (в языке запросов) [rule] 407, 412
без тела 413п, 415
применение 422, 434, 436, 449
(упр. 4.79)
предикат
if 37
предикат [predicate] 36
ветви cond 36
соглашение об именах 41п
предложения [statements] 523, см.
последовательность команд
представлен ие множеств в виде
неупорядоченных списков
[unordered-list representation of sets]
155
представлен ие множеств в виде
упорядоченных списков [ordered-list
representation of sets] 156
префикс [prefix] 164
префиксная нотация [prefix notation] 26
vs. инфиксная нотация 154 (упр. 2.58)
префиксный код [prefix co de] 164
приведение к наименьшему знаменателю
[reducing to lowest terms] 97, 98, 209
приведение типов [coercion] 192
598
Предметный указатель
в алгебраических манипуляциях 206
в арифметике многочленов 202
процедура 192
таблица 192
применение процедур [procedure
application]
модель вычисления с окружениями 231
обозначение комбинаций 26
подстановочная модель см.
подстановочная модель применения
процедуры
присваивание [assignment] 212,
см. также set!
вызванные ошибки 225п, 226
преимущества 218
расплата за 221
провод, в цифровой схеме [wire] 261
программа [program] 22
как абстрактная машина 357
как данные 357
комментарии 129п
пошаговое написание 28
структура 28, 44, 46, см. также
барьеры абстракции
структурирование с помощью
подпрограмм 359п
программирован ие [programming]
императивное 225
управляемо е данными см.
программирован ие, управляемое
дан ными
управляемо е потребностями 304
функциональное см. функциональное
программирован ие
чрезвычайно плохой стиль 306п
элементы 25
программирован ие, управляемое данными
[data-directed programming] 93, 171,
179, 180
vs. разбор случаев 341
в интерпретаторе запросов 431
в метациклическом интерпретаторе 348
(упр. 4.3)
продолжение [continuation]
в имитаторе регистровых машин 478п
в недетерминистском интерпретаторе
394, 396, см. также продолжение
неудачи, продолжен ие успеха
продолжение неудачи [failure continuation]
394, 396
amb 401
присваивания 399
управляющий цикл 401
продолжение успеха [success continuation]
394, 396
прозрачность референциальная 224
производная функции 85
производные выражен ия в интерпретатор е
[derived expressions] 348
производные выражен ия в интерпретатор е
в вычислителе с явным управлением 511
(упр. 5.23)
простой запрос 409
обработка 418, 423, 431
простые числа 64
бесконечный поток см. primes
и криптография 67п
проверка на простоту 64
решето Эратосфена 308
тест Миллера-Рабина 69 (упр. 1.28)
тест Ферма 65
процедура [procedure] 24, 25
vs. математическая функция 40
vs. особая форма 371 (упр. 4.26), 379
безымянная 75
в качестве аргумента 70
возврат нескольких значений 478п
высшего порядка см. процедура высшего
порядка
именование (с помощью define) 32
имя 32
как возвращаемое значение 83
как данные 24
как обобщенный метод 78
как черный ящик 44
как шаблон локальной эволюции
процесса 48
мемоизированная 260 (упр. 3.27)
нестрогая [non-strict] 371
неявный begin в теле 214п
область действия формальных
параметров 45
Предметный указатель
599
обобщенная 167, 171
определение 31
отслеживаемая 217 (упр. 3.2)
полноправный статус в Лиспе 87
произвольное количество аргументов 26,
112 (упр. 2.20)
создание с помощью define 32
создание с помощью lambda 229, 230
создание с помощью lambda 75
составная [compound] 31
тело 32
формальные параметры 32
процедура высшего порядка [higher-order
procedure] 70
в метациклическом интерпретаторе 341п
и сильная типизация 328п
процедура как возвращаемое значение
83
процедура как обобщенный метод 78
процедура в качестве аргумента 70
процедурная абстракция [procedural
abstraction] 44
процедурное представление данных
[procedural representation of data] 100
изменяемые данные 249
процесс [process] 22
древовидно-рекурсивный 53
итеративный 50
линейно итеративный 51
линейно рекурсивный 50
локальная эволюция 48
необходимые ресурсы 58
порядок роста 58
рекурсивный 50
форма 50
прочесывание внутренних опреде лений
[scanning out internal definitions] 361
в компиляторе 549п, 550 (упр. 5.43)
прямоугольники, их представление
[representing rectangles] 99 (упр. 2.3)
псевдоделение многочленов
[pseudodivision] 209
псевдоним [aliasing] 225п
псевдоостаток многочленов
[pseudoremainder] 209
псевдослучайная последовательность
чисел [pseudo-random sequence] 218п
пустой поток [empty stream] 301
пустой список [empty list] 109
обозначенный ’() 109п
распознавание с помощью null? 110
пути данных регистровой машины [data
paths for register machine ] 451
диаграмма путей данных 452
Рабин, Майкл О. [Michael O. Rabin] 69
(упр. 1.28)
равенство [equality]
в обобщенной арифметической системе
191 (упр. 2.79)
и референциальная прозрачность 224
символов 148п
списков 149 (упр. 2.54)
чисел 36, 149п, 491п
равенство по модулю n [congruency
modulo n] 65
радиус интервала [width, of an interval]
104 (упр. 2.9)
разбитое сердце [broken heart] 496
разбор случаев [case analysis] 36
vs. стиль, управляемый данными 341
обший см. также cond
с двумя случаями 37
разделение времени [time slicing] 296
разделяемое состояние [shared state] 285
разделяемые данные 246
разделяемые ресурсы [shared resources]
291
размен денег [counting change] 55, 111
(упр. 2.19)
разреженный многочлен [sparse
polynomial] 203
Райт, Джесси Б. [Jesse B. Wright] 100п
Райт, Э. М. [E. M. Wright] 311п
рак точки с запятой [cancer of the
semicolon] 31п
Рамануджан, Шриниваса [Srinivasa
Ramanujan] 321п
Рамануджана числа [Ramanujan numbers]
321 (упр. 3.71)
рамка [frame] 133, 140
600
Предметный указатель
отображение координат 140
Ранкл, Джон Дэниел [John Daniel Runkle]
133п
распространение ограничений [propagation
of constraints] 271
Рафаэль, Бертрам [Bertram Raphael] 405п
рациональная арифметика [rational-number
arithmetic] 93
взаимодействие с обобщенной
арифметической системой 188
необходимость составных данных 91
рациональная функция [rational function]
207
приведение к наименьшему знаменателю
209
рациональные числа [rational numbers]
арифметические операции 93
в MIT Scheme 42п
печать 96
представлен ие в виде пар 96
приведение к наименьшему знаменателю
97, 98
регистр [register] 450
представлен ие 474
регистровая машина [register machine] 450
действия 456
диаграмма контроллера 452
диаграмма путей данных 452
контроллер 451
отслеживание производительно сти 486
подпрограмма 459
программа моделирования 472
проектирование 451
пути данных 451
стек 463
тест 452
трассировка 488 (упр. 5.18)
язык для описания 454
резолюции принцип [resolution principle]
405п
Хорновские формы 405п
Рейтер, Андреас [Andreas Reuter] 297п
рекурсивная процедура [recursive
procedure]
vs. рекурсивный процесс 51
определение рекурсивной процедуры 43
построение без define 364 (упр. 4.21)
рекурсивный процесс [recursive process]
50
vs. итерати вный процесс 48, 233
(упр. 3.9), 463, 544 (упр. 5.34)
vs. рекурсивная процедура 51
древовидный 53, 58
линейный 50, 58
регистровая машина 463
рекурсии теори я [recursion theory] 359п
рекурсия [recursion] 29, 43
в правилах 414
выражение сложного процесса 29
для работы с деревьями 115
управляемая данными 203
референциальная прозрачность 224
решение уравнений [solving equations] см.
Ньютона метод; половинного деления
метод; solve
решето Эратосфена [sieve of Eratosthenes]
308
sieve 308
Ривест, Рональд Л. [Ronald L. Rivest] 67п,
160п
Рис, Джонатан А. [Jonathan A. Rees]
348п, 366п
рисовалка [painter] 133
операции 133
операции высших порядков 137
представлен ие в виде процедуры 141
преобразование и комбинирование 143
Робинсон, Дж. А. [J. A. Robinson] 405п
Роджер с, Уильям Бартон [William Barton
Rogers] 133п
рок-песни 1950-х гг [1950s rock songs] 169
(упр. 2.70)
Росас, Гильермо Хуан [Guillermo Juan
Rozas] 535п
русского крестьянина метод умножения
[Russian peasant method of
multiplication] 61п
Рэймонд, Эрик [Eric Raymond] 370п, 384п
сconsить [cons up] 110
Сави н, А.Н. 22
Сазерленд, Айвен [Ivan Sutherland] 272п