Главная Промышленная автоматика.

ГЛОССАРИЙ

pop print procedure push or R

read rev

repeat return

SPACE -

step STORE SUB

then TIME true until while wig

write

вытолкнуть (из стека) напечатать (на выходной ленте) •процедура затолкнуть (в стек) или (дизъюнкция)

сокращение от right -вправо (сдвиг головки вправо)

прочитать (со входа) сокращение от reversed - обращенный повторить выдать (результат)

сокращение от stationary - неподвижный (головка остается на месте)

место (занимаемое чем-либо), объем или размер памяти машины

шаг (изменения параметра цикла) поместить (команда запоминания) сокращение от subtract-вычесть (команда вычитания)

см. if ... then

время

истина, истинный вплоть до до тех пор, пока

сокращение от without loss of generality-без потери общности

записать (на выходную ленту)



ИМЕННОЙ УКАЗАТЕЛЬ

Аандераа (Aanderaa S. О.) 310 Адельсон-Вельский Г. М. 193, 196 Аппель (Appel К.) 449 Арлазаров В. Л. 283 Ахо (Aho А. V.) 195, 196, 225, 239, 254, 353, 402, 403, 419

Банч (Bunch J.) 283

Барти (Bartee Т.) 283

Белага Э. Г. 501

Беллман (Bellman R. Е.) 92

Берж (Berge С.) 92, 254

Беркхард (Burkhard W. А.) 92

Биркгоф (Birkhoff G.) 283

Блаттнер (Blattner W. О.) 254, 450

Блюм (Blum М.) 56. 127

Блюсгейн (Bluestein L. J.) 353

Бородин (Borodin А. В.) 56, 353, 501

Браун (Brown W. S.) 353

Бруно (Bruno J. L.) 450

Бук (Book R. V.) 450, 474

Вагнер (Wagner R. A.) 92, 253. 403

Вайнер (Weiner P.) 403

Валиант (Valiant L. G.) 283

Вари (Vari T. M.) 353

Виноград (Winograd S.) 9, 283, 501

Грей (Gray J. N.) 403 Грэхем (Graham R. L.) 127 Гуд (Good I. J.) 310 Гэри (Garey M. R.) 254, 450

Даниелсон (Danielson Q. C.) 310 Данциг (Dantzig G. B.) 254, 450 Дейкстра (Dijkstra E. W.) 254 Джентльмен (Gentleman W. M.) 310, 353

Джонсон Д. Б. (Johnson D. В.) 253, 254

Джонсон Д. С. (Johnson D. S.) 450 Джонсон С. К. (Johnson S. С.) 353 Джонсон С. М. (Johnson S. М.) 126 Джоунс (Jonefs N. D.) 450 Диветти (Divetti L.) 450 Диниц Е. А. 283 Дэвис (Davis М.) 19

Зивекинг (Sieveking М.) 353

Ибарра (Ibarra О. Н.) 403, 450. 474

Ив (Eve J.) 501

Ивен (Even S.) 254, 450

Галлер (Galler В. А.) 196 Гарсиа (Garsia А.) 501 Гейл (Gale D.) 127 Гилберт (Gilbert Е. N.) 196 Годбоул (Godbole S. S.) 92 Грасселли (Grasselli А.) 450

Карацуба А. А. 92

Ка (Karp R. М.) 127, 196. 353. 403,

Касами (Kasami Т.) 92 Кедем (Kedem Z.) 501 Кёниг (Konig Н.) 310



Керр (Kerr L. R.) 253, 283, 479, 510

Киркпатрик (Kirkpatrick D.) 501

Кислицын С. С. 127

Клини (Kleene S. С.) 254, 403

Кнут (Knuth D. Е.) 92, 127, 195, 196,

353, 403, 501 Кок (Соске J.) 92 Коллинз (Collins G. Е.) 353 Констейбл (Constable R. L.) 474 Крейн (Crane С. А.) 196 Кронрод М. А. 283 Крускал (Kruskal J. В., Jr.) 254 Кук (Cook S. А.) 56, 353, 403, 450, 473,

474, 501 Кукк (Kuck D. J.) 92 Кули (Cooley J. M.) 310 Кунг (Kung H. T.) 353

Ландис E. M. 193, 196 Ланцош (Lanczos C.) 310 Липсон (Lipson J.) 353 Льюис П. A. (Lewis P. A.) 310 Льюис П. М. (Lewis P. M. II) 56, 196, 474

Лю (Liu C. L.) 92, 127

Мак-Илрой (Mcllroy M. D.) 196 Мак-Келлар (McKellar A. C.) 127 Мак-Лейн (MacLane S.) 283 Мак-Нотон (McNaughton R.) 254 Матиясевич Ю. В. 403 Мейер (Meyer A. R.) 254, 283, 310, 450,

473, 474 Миллер (Miller R. E.) 403 Минский (Minsky M.) 56 Моенк (Moenck R.) 353 Моргенштерн (Morgenstern J.) 310,

Моррис Дж. (Morris J. H.) 403 Моррис P. (Morris R.) 195, 196 Моцкин (Motzkin T. S.) 501 Мунро (Munro I.) 254, 353 Myp (Moore E. F.) 196 Мураока (Muraoka Y.) 92 Мусинский (Musinski J.) 501

Островский (Ostrowski A. M.) 501 Офман Ю. П. 92

Пан A. (Pan A.) 253, 254 Пан В. Я. 501

Патерсон (Paterson М. S.) 196, 310 , 403 Поль (Pohl I.) 92

Пратт В. (Pratt V. R.) 126, 127, 403, 501

Пратт Т. (Pratt Т. W.) 92 Прим (Prim R. С.) 254

Рабин (Rabin М. О.) 56, 196 , 253, 403,

473, 474, 501 Рабинер (Rabiner L. R.) 310, 353 Рао (Rao М. R.) 254, 450 Раундз (Rounds W. С.) 450, 474 Рейдер (Rader С. М.) 310, 353 Рейнгольд (Reingold Е. М.) 196 Рекхау (Reckhow R. А.) 56, 473, 474 Ривест (Rivest R. L.) 127 Робинсон (Robinson А.) 56 Роджерс (Rogers Н., Jr.) 19 Розенберг (Rosenberg А. L.) 403 Розенкранц (Rosenkrantz D. J.) 196,

450, 474 Рунге (Runge С.) 310

Сайферас (Seiferas J. J.) 473,

Санде (Sande G.) 310

Сахни (Sahni S.K.) 450, 474

Сети (Sethi R.) 450

Синглтон (Singleton R. C.) 127

Скотт (Scott D.) 403

Слисенко A. O. 403

Слоун (Sloane N. J. A.) 92

Соубел (Sobel M.) 127

Спира (Spira P. M.) 253, 254

Стейглиц (Steiglitz K.) 353

Стерджис (Sturgis H. E.) 56

Стирнз (Stearns R. E.) 56, 196 , 474

Стокмейер (Stockmeyer L.) 450, 474

Стоун (Stone H. S.) 92

Сэвидж (Savage J. E.) 501

Сэвич (Savitch W. J.) 450

Нечипорук Э. И. 501 Нивергельт (Nievergelt J.) 196 Николсон (Nicholson P. J.) 310

Таккер (Tucker A. C.) 196 Тарьян (Tarjan R. E.) 127, 196, 253. 254





0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 [168] 169 170 171 172 173 174

0.0019