Главная Промышленная автоматика. ГЛОССАРИЙ 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 |