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

Грамматика (grammar)

- бесконтекстная (context-free) 91, 401

--в нормальной форме Хомского (in Chomski normal form) 91

- контекстная (context-sensitive) 449 Граф (graph) 64

- ациклический (acyclic) 67

- двусвязный (biconnected) 206

- дополнительный (complement) 431

- корневой (rooted) 239

- неориентированный (undirected) 64

- ориентированный (directed) 64

- переходов см. Диаграмма (переходов)

- раскрашиваемый (colorable) 421

- связный (connected) 70, 216, 253

- сильно связный (strongly connected) 216

ДАННЫЕ (DATA) 99 Дважды связанный (doubly linked) 61 Двойственное (вычисление) (dual) 496 Двусвязность (biconnectivity) 206 ДЕЛЕНИЕ (DIVIDE) 179, 180 Деление (division)

- полиномов (of polynomials) 320

- целых чисел (of integers) 313 Дерево (tree) 67

- 2-3 169

- / 386

- S 386

- АВЛ (AVL) 193

- бинарное см. Дерево двоичное

- вспомогательное (auxiliary) 390

- двоичное (binary) 68 --полное (complete) 68

- двоичного поиска (binary search) 136

- доминаторное (dominator) 239

- корневое (rooted) 67

--неориентированное (undirected) 70

- неориентированное (undirected) 70

- ориентированное (directed) 67

- остовное (spanning) 130 --глубинное (depth-first) 203

- позиций см. Дерево позиционное

- позиционное (position) 387, 296 --уплотненное (compact) 397

- помеченное (labeled) 103

- решений (decision) 37

- сбалансированное (balanced) 169, 194 --ограниченное (bounded) 194

- сливаемое см. Сливаемое дерево

- сортирующее см. Сортирующее дерево

- упорядоченное (ordered) 68 Диаграмма (переходов) (diagram) 357 Диагонализировать (diagonalize) 453 Диагональ главная (main diagonal) 259



ДКА (DFA) 361

- скелетный (skeletal) 367 ДЛИНА (LENGTH) 99 Длина (length)

- внешних путей (external path) 194

- внутренних путей (internal path) 194

- пути (of а path) 64

- регулярного выражения (of а regular expression) 359

- цепочки (of а string) 355 1ДМА (IDPDA) 401 2ДМА (2DPDA) 373

- Л;-головчатый (A-head) 400 ДОБАВСЫНА (ADDSON) 173 Доминатор (dominator) 239

- непосредственный (immediate) 239 Допускаться (be accepted)

- конечным автоматом (by а finite automaton) 166, 357

- магазинным автоматом (by а pushdown store automaton) 376

- машиной Тьюринга (by a Turing machine) 41, 42, 406

- РАМ (by a RAM) 19

Зависимость линейная no модулю (linear dependence modulo) 480 Задача (problem)

- легко разрешимая (tractable) 404

- об упаковке (package placement) 447

--устойчивом бракосочетании (stable marriage) 87

- 0 коммивояжере (travelling salesman) 447

--кратчайшем пути (shortest path) 223

--потоке (flow) 447-448

--разбиении (partition) 447

--ранце (knapsack) 446

--расписании работ (scheduling) 448

- определения глубины (depth determination) 164

- пустоты дополнения (emptiness of complement) 457

- сортировки (sorting) 94

- трудно разрешимая (intractable) 404 ЗАДНИЙ (REAR) 62

Замыкание (closure) 225

- Клини (Kleene) 355

- рефлексивное и транзитивное (reflexive and transitive) 223

- транзитивное (transitive) 120, 223 ЗАТОЛКНУТЬ (PUSH) 61

Значение переменной (в вычислении) (valuation of а variable) 477 Значение операнда (the value of operand) 17

Идемпотентность (idempotence) 224 Идентификатор (identifier) 386 Идентифицировать (позицию) (identify) 386 Идентифицироваться (match) 399 Иерархия (hierarchy)

- временная см. Иерархия по времени

- емкостная см. Иерархия по емкости

- по времени (time) 471 --емкости (space) 452

- - памяти см. Иерархия по емкости



ИЗBЛEЧЬ MIN (EXTRACT MIN) 162, 191 Измеритель (yardstick) Изоморфизм (isomorphism)

- деревьев (of trees) 102

- подграфу (subgraph) 446 ИМПЛАНТАЦИЯ (IMPLANT) 176, 177 ИМЯ (NAME) 58, 153

Имя переменно!! (в вычислении) (variable name) 477

Индекс (index) 50

Интерполяция (interpolation) 286

Исток (в графе) (source vertice) 497

Источник (source) 235

Итерация см. Замыкание Клини

- позитивная (positive) 355

Китайская теорема об остатках (Chinese remaindering) 329 Класс эквивалентности (equivalence class) 206 Клетка (cell) 40 Клика (clique) 418 КНФ (CNF) 427

Код операции (operation code) 16 Кольцо (ring) 256

- коммутативное (commutative) 256 КОНЕЦ (HEAD) 66

Конец ребра (head of the edge) 64 Конец составного ребра (head of а composite edge) 242 Конец цепочки (suffix of a string) 355 Конкатенация (concatenation)

- множеств (of sets) 225

- списков (of lists) 50

- цепочек (of strings) 355

- языков (of languages) 355 Конфигурация (configuration) 378

- С выводима из С (С derives С) 379

- поверхностная (surface) 378

- терминальная (terminal) 379 Команда (instruction)

- РАМ (of а RAM) 16-18

- РАСП (of а RASP) 26 КОМПОНЕНТА (ELEMENT) 58 Компонента (component)

- Двусвязная (biconnected) 206

- связная (connected) 202

- сильно связная (strongly connected) 216 КОРЕНЬ (ROOT) 153

Корень (root)

- графа (of а graph) 67, 239

- дерева (of а tree) 67

- из единицы (of unity) 285

- - - примитивный (principal) 285

- сильно связной компоненты (of а strongly connected component) 216 КОРРЕКТИР (UPDATE) 380, 382

Критерий весовой (cost criterion)

- логарифмический (logarithmic) 23, 24

- равномерный (uniform) 23





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.0059