последовательность команд представление множеств в виде неупорядоченных списков [unordered-list representation of

sets] 131

представление множеств в виде упорядоченных списков [ordered-list representation of sets]

132

префикс [prefix] 139 префиксная нотация [prefix notation] 5 vs. инфиксная нотация 130

(упр. 2.58)

префиксный код [prefix code] 139 приведение к наименьшему

знаменателю [reducing to lowest

terms] 74, 75, 184

приведение типов [coercion] 167

в алгебраических манипуляциях 181 в арифметике многочленов 177 процедура 167 таблица 167

применение процедур [procedure application] модель вычисления с окружениями

207

обозначение комбинаций 5 подстановочная модель см. подстановочная модель применения процедуры присваивание [assignment] 188, см. также set! вызванные ошибки 201га, 202 преимущества 194 расплата за 197 провод, в цифровой схеме [wire] 236 программа [program] 1

как абстрактная машина 329 как данные 329 комментарии 105а пошаговое написание 7 структура 7, 22, 24, см. также

барьеры абстракции структурирование с помощью подпрограмм 330а программирование [programming] императивное 201 управляемое данными см. программирование,

управляемое данными управляемое потребностями 277 функциональное см. функциональное программирование чрезвычайно плохой стиль 279а элементы 4 программирование, управляемое данными [data-directed programming] 70, 146, 154, 155 vs. разбор случаев 313 в интерпретаторе запросов 401 в метациклическом интерпретаторе

320 (упр. 4.3)

продолжение [continuation]

в имитаторе регистровых машин

448а

в недетерминистском

интерпретаторе 365, 367, см. также продолжение неудачи, продолжение успеха продолжение неудачи [failure continuation] 365, 367 amb 371

присваивания 369 управляющий цикл 371 продолжение успеха [success

continuation] 365, 367 прозрачность референциальная 200 производная функции 62 производные выражения в интерпретаторе [derived expressions] 319 в вычислителе с явным

управлением 480 (упр. 5.23) простой запрос 379

обработка 388, 393, 401

простые числа 42

бесконечный поток см. primes

и криптография 45а

проверка на простоту 42

решето Эратосфена 281

тест Миллера-Рабина 47 (упр. 1.28)

тест Ферма 43 процедура [procedure] 3, 4

vs. математическая функция 18

vs. особая форма 342 (упр. 4.26),

349

безымянная 53

в качестве аргумента 48

возврат нескольких значений 447а

высшего порядка см. процедура

высшего порядка именование (с помощью define)

10

имя 10

как возвращаемое значение 61

как данные 3

как обобщенный метод 56

как черный ящик 22

как шаблон локальной эволюции

процесса 26 мемоизированная 235 (упр. 3.27) нестрогая [non-strict] 342 неявный begin в теле 190а область действия формальных

параметров 24 обобщенная 142, 146 определение 10 отслеживаемая 193 (упр. 3.2) полноправный статус в Лиспе 65 произвольное количество

аргументов 5, 88 (упр. 2.20) создание с помощью define 10 создание с помощью lambda 53,

205, 206

составная [compound] 10 тело 10

формальные параметры 10 процедура высшего порядка [higher-order procedure] 48 в метациклическом интерпретаторе

313а

и сильная типизация 301а процедура в качестве аргумента 48 процедура как возвращаемое

значение 61 процедура как обобщенный метод

56

процедурная абстракция [procedural

abstraction] 22 процедурное представление данных

[procedural representation of data]

77

изменяемые данные 224 процесс [process] 1

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

линейно итеративный 29 линейно рекурсивный 29 локальная эволюция 26 необходимые ресурсы 36 порядок роста 36 рекурсивный 29 форма 28 прочесывание внутренних

определений [scanning out internal definitions] 333 в компиляторе 517а, 518 (упр. 5.43) прямоугольники, их представление [representing rectangles] 76

(упр. 2.3)

псевдоделение многочленов

[pseudodivision] 184 псевдоним [aliasing] 201а псевдоостаток многочленов

[pseudoremainder] 184 псевдослучайная последовательность

чисел [pseudo-random sequence]

194а

пустой поток [empty stream] 274 пустой список [empty list] 85

обозначенный () 86га

распознавание с помощью null?

86

пути данных регистровой машины [data paths for register machine]

420

диаграмма путей данных 421 Рабин, Майкл О. [Michael O. Rabin]

47 (упр. 1.28)

равенство [equality]

в обобщенной арифметической

системе 166 (упр. 2.79) и референциальная прозрачность

200

символов 124а

списков 124 (упр. 2.54)

чисел 15, 125а, 460а равенство по модулю n [congruency

modulo n] 43 радиус интервала [width, of an

interval] 80 (упр. 2.9)

разбитое сердце [broken heart] 465 разбор случаев [case analysis] 14 vs. стиль, управляемый данными

313

обший см. также cond

с двумя случаями 15 разделение времени [time slicing] 269 разделяемое состояние [shared state]

258

разделяемые данные 221 разделяемые ресурсы [shared

resources] 265 размен денег [counting change] 33, 87

(упр. 2.19)

разреженный многочлен [sparse

polynomial] 178 Райт, Джесси Б. [Jesse B. Wright] 77га Райт, Э. М. [E. M. Wright] 284га рак точки с запятой [cancer of the

semicolon] 10а Рамануджан, Шриниваса [Srinivasa

Ramanujan] 294га Рамануджана числа [Ramanujan

numbers] 294 (упр. 3.71)

рамка [frame] 108, 116

отображение координат 116 Ранкл, Джон Дэниел [John Daniel

Runkle] 109га распространение ограничений

[propagation of constraints] 246 Рафаэль, Бертрам [Bertram Raphael]

375а

рациональная арифметика

[rational-number arithmetic] 70 взаимодействие с обобщенной

арифметической системой 163 необходимость составных данных

68

рациональная функция [rational function] 181 приведение к наименьшему знаменателю 184 рациональные числа [rational numbers] арифметические операции 70 в MIT Scheme 20га печать 73

представление в виде пар 73 приведение к наименьшему знаменателю 74, 75

регистр [register] 419 представление 443

регистровая машина [register

machine] 419 действия 425

диаграмма контроллера 421 диаграмма путей данных 421 контроллер 420

отслеживание производительности

455

подпрограмма 428 программа моделирования 441 проектирование 420 пути данных 420 стек 432 тест 421

трассировка 457 (упр. 5.18)

язык для описания 423 резолюции принцип [resolution principle] 375а

Хорновские формы 375га Рейтер, Андреас [Andreas Reuter]

270а

рекурсивная процедура [recursive procedure] vs. рекурсивный процесс 29 определение рекурсивной

процедуры 22 построение без define 335

(упр. 4.21)

рекурсивный процесс [recursive process] 29 vs. итеративный процесс 27, 209

(упр. 3.9), 432, 512 (упр. 5.34)

vs. рекурсивная процедура 29 древовидный 31, 36 линейный 29, 36 регистровая машина 432 рекурсии теория [recursion theory]

330а

рекурсия [recursion] 8, 22 в правилах 383

выражение сложного процесса 8 для работы с деревьями 91 управляемая данными 178 референциальная прозрачность 200 решение уравнений [solving equations] см. Ньютона метод; половинного деления метод; solve решето Эратосфена [sieve of Eratosthenes] 281 sieve 281