Левое двойственное (множество выражений) (left dual) 496 ЛЕВЫЙСЫН (LEFTSON) 68 Легко разрешимый (tractable) 404 Лента (tape) 39

- входная (input) 15, 41, 165, 374

- выходная (output) 15, 44 Лес (forest) 67

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

--построенный поиском в глубину см. Лес остовный глубинный

Лист (leaf) 67 Литерал 16

Литерал (literal) 417, 427

Магазин (pushdown store) 61 Маркер (marker)

- дна (bottom) 375

- нижний см. Маркер дна Массив (array) 58 Матрица (matrix)

- булева (Boolean) 274

- единичная (identity) 256

- невырожденная (nonsingular) 258

- нормированная (unit) 259

- обратная (inverse) 257

- перестановки (permutation) 259

- положительно определенная (positive definite) 282

- смежностей (adjacency matrix) 64

- тёплицева (Toeplitz) 282

- транспонированная (transpose) 259

- треугольная (triangular)

--верхняя (upper) 258

--нижняя (lower) 258

Машина (machine)

- адресная 31

- равнодоступная адресная см. Машина с произвольным доступом к памяти ---с хранимой программой см. Машина с произвольным доступом к памяти

и хранимой программой

- с произвольным доступом к памяти (random access) ------и хранимой программой (stored program) 26

- Тьюринга (Turing) 39

--многоленточная (multitape) 39

--недетерминированная (nondeterministic) 405, 406

Мгновенное описание (instantaneous description) 42, 356, 375

--допускающее (accepting) 356

---для 2ДМА (of а 2DPDA) 376

--2ДМА (of а 2DPDA) 375

--МТ (of а ТМ) 42, 406 •

--НКА (of а NDFA) 356

--НМТ (of а NDTM) 406

--начальное (initial) 42, 356, 376, 406

---2ДМА (of а 2DPDA) 376

---НКА (of а NDFA) 356

---НМТ (of а NDTM) 406

Метка пути (path label) 225 Метод расстановки (hashing) 132, 196

Множе™Ц°"™° (minimization of а finite automaton) 187

- безопасное для разбиения (safe for а partition) 183

- пустое (empty) 355

- ребер, разрезающих циклы (feedback edge) 421

- регулярное (regular) 355

- узлов, разрезающих циклы (feedback vertex) 421

- универсальное (universal) см. База данных МНОЖИТЕЛЬ (FACTOR) 264, 267 Моноид (monoid) 224

Мощность (cardinality) 64

Мультиграф (multigraph) 249

МО (ID) - см. Мгновенное описание

Наибольший общий делитель (greatest common divisor) 336, 339 Наименьшее общее кратное (least common multiple) 352 НАИМЕНЬШИЙ (SMALLEST) 175 НАЙТИ (FIND) 128

НАЙТИ.ГЛУБИНУ (FIND.DEPTH) 164 НАЙТИ ПУТЬ (FIND.PATH) 249 Начало отсчета (origin) 164 Начало ребра (tail of the edge) 64

--составного (composite) 242

Начало цепочки (prefix of a string) 355 НВП-разложение (LUP decomposition) 264 НВ-разложение (LU decomposition) 264

Независимость линейная по модулю (linear independence modulo) 480 НЕПУСТОЙ (NONEMPTY) 99

Ниже (отношение на поверхностных конфигурациях) (below) 380

НИЖНИЙ (LOW) 210

НИЖНЯЯСВЯЗЬ (LOWLINK) 217

НКА (NDFA) 356

НМА (NPDA) 400

1НМА (1NPDA) 401

НОВ (NEW) 380

НОД (GCD) 336, 344

НОК (LCM) 352

НОМЕР (NUMBER) 71

О (порядок величины - order of magnitude) 12

Од (порядок величины для неветвящихся программ) 35

Об (порядок величины при битовых вычислениях) 35

Одв (порядок величины при применении модели с двоичными векторами) 37 Омт (порядок величины при использовании в качестве модели машины Тьюринга) 44

Ос (порядок величины при использовании модели деревьев решений) 38 Область действия переменной (the scope of а variable) 48 Обозревать (scan) 40

Обработка предварительная (preconditioning) 490, 491

Образ (pattern) 363

ОБРАТНОЕ (RECIPROCAL) 314, 315

ОБРАТНЫЙ (RECIPROCAL) 321

ОБЪЕДИНИТЬ (UNION) 128, 148

Операнд (operand) 16

Оператор (statement)

- COMMENT 52

- FOR 49

- GOTO 51

- IF 49

- READ 52

- REPEAT 49

- WHILE 49

- WRITE 52

- определения процедур (procedure-difinitlon) 51

- помеченный (labeled) 50

- присваивания (assignment) 49 Операция (operation)

- активная мультипликативная (active multiplicative) 490

- битовая (bit) 35

- ассоциативная (associative) 224

- дистрибутивная (distributive) 224

- коммутативная (commutative) 224

- с двоичными векторами (bit vector) 37

- элементарная (scalar) 230 Определитель (determinant) 258

Описание мгновенное см. Мгновенное описание ОТЕЦ (FATHER) 153 Отец (father) 67

Отображение памяти (memory map) 16, 26 ОЧЕРЕДЬ (QUEUE) 96 Очередь (queue) 62

- сцепляемая (concatenable) 170

- с приоритетами (priority) 170

Палиндром (palindrome) 42

Пара лежит ниже (pair is below) 380

Параметр (parameter)

- фактический (actual) 51

- формальный (formal) 51 Паросочетание (pairing) 87

- устойчивое (stable) 87 ПЕРЕДНИЙ (FRONT) 62

Переменная (variable) см. Адрес символический Переменная (вычисления) (variable) 477

- входная (input) 33

- выходная (output) 33

- глобальная (global) 52

- локальная (local) 52, 53 Переменная формальная (indeterminate) 476 ПЕРЕСЕЧЕНИЕ (INTERSECTION) 186 Перестановка (permutation)

- нечетная (odd) 258

- четная (even) 258 ПЕРЕСЫПКА (HEAPIFY) 108 ПНОД (HGCD) 339, 340

Подграф полный (complete subgraph) см. Клика Поддерево (subtree) 67

- левое (left) 68

- правое (right) 68 Подматрица (submatrix) 259

- главная (principal) 259 Подпоследовательность (subsequence) 402 Подцепочка (substring) 355