|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Лопатинский. — Разложение полиномиальной матрицы на множители |
|
|
|
| Предметный указатель |
 -переход 48
-переход, тривиальный 48
AVL-деревья 167
B-дерево 169
T-машина, T(n)-ограниченная по времени 126
Автомат -свободный 48
Автомат детерминированный 45
Автомат конечный 45
Автомат магазинный 64
Автомат магазинный, конфигурация 66
Автомат недетерминированный 45
Автомат тотальный 45
Автомат частичный 45
Аксиома грамматики 25
Аспект абстракции 86
База данных информационная 194
Бэктрекинг 140
Вершины графа 10
Вывод 19
Вывод, левым 41
Выражение регулярное 43
Выражение регулярное, эквивалентное 44
Гёделизация 114
Грамматика 25
Грамматика генерационная 25
Грамматика генерационная, -свободной 26
Грамматика контекстно-зависимой 29
Грамматика контекстно-свободная 30
Грамматика монотонная по длине слов 28
Грамматика однозначная 35
Грамматика регулярная 30
Грамматика редукционная 25
Грамматика редукционная, -свободной 26
Грамматика строго монотонная по длине слов 29
Грамматика типа 0 26
Грамматика типа 1 29
Грамматика типа 2 30
Грамматика типа 3 30
Грамматика Хомского 26
Грамматика эквивалентная 28
Грамматика, LL(k) 79
Грамматика, LR(k) 74
Грамматика, LR-детерминированная 73
Граф направленный 10
Граф ненаправленный 10
Граф переходов состояний 45
Граф структурный 31
Дерево неориентированное 165
Дерево ориентированное 165
Дерево сбалансированное 168
Дерево структурное 34
Дерево упорядоченное 166
Дерево, высота 166
Дерево, степенью ветвимости 166
Диаграмма коммутирующая 86
Задача NP-полная 140
Задача эффективно решаемая 134
Заключение 202
Замыкание алгебраическое 19
Замыкание полугруппы 19
Интерфейс 185
Искусственный интеллект 225
Классы 214
Коллизии 180
Конфигурация n-R-машины 95
Конфигурация Т-машины 89
Конфигурация терминальная 91 96
Корень грамматики 25
Логическое программирование 201
Машина регистровая 95
Машина Тьюринга 87
Машина Тьюринга, детерминированная 88
Машина, S(n)-ленточно-ограниченная 127
Машина, T(n)-ограниченная по времени 127
Машины гипотетические 87
Метод разрешения 121
Метод хэширования 180
Методы 214
Механотроника 225
Моноид правил грамматики 20
Наследование 216
| Объекты 214
Оператор неподвижной точки 112
Отношение двухместное (бинарное) 6
Отношение инверсное 7
Отношение инъективное 9
Отношение конфлюентное 14
Отношение нётеровское 11
Отношение однозначное 9
Отношение сюръективное 9
Отношение тотальное 9
Парадоксальный комбинатор 111
Подстановока параллельная 21
Подцель 202
Полиморфизм 215
Полиморфизм, ad-hoc- 215
Полиморфизм, параметрический 215
Полусистема Туэ 19
Постусловие 192
Правила 202
Правило двусторонне-линейное 30
Правило контекстно-зависимое 29
Правило леволинейное 30
Правило односторонне-линейными 30
Правило праволинейное 30
Правило сепарированное 29
Правило, подстановки 19
Правило, применение 19
Предикат отрицательно полуразрешимый 122
Предикат позитивно полуразрешимый 121
Предикат разрешимый 121
Предусловие 192
Распознавание образов 224
Ребра графа 10
Редукция 19 25
Редукция каноническая левая 42
Редукция левая 41
Робототехника 223
Свойство Чёрча - Россера 16
Сигнатура 186
Символ нетерминальный 26
Символ терминальный 26
Система информационная 194
Система Туэ 19
Слово сводимое 37
Сложность задачи 125
Спецификация задачи 184
Спецификация предикатная 192
Спецификация требований 184
Сток 46
Структуры абстрактные вычислительные 184
Структуры данных абстрактные 184
Сущность 195
Сущность, состояние 196
Тезис Чёрча 119
Телекоммуникация 225
Телематика 225
Типы данных, абстрактных 184
Тупик 37
Узлы см. "вершины графа"
Унификатор 208 209
Унификация 207
Условие контекстное 73
Условия целостности 197
Факт 202
Форма левая нормальная 23
Форма нормальная Грейбах 70
Форма правая нормальная 23
Функция  -рекурсивная 105 107
Функция вычислимая 85
Функция тьюринг-вычислимая 91
Функция, RM-вычислимая 97
Функция, частично рекурсивная 109
Шаг вывода 19
Элемент в отношении, максимальный 10
Элемент в отношении, минимальный 10
Язык 25
Язык контекстно-зависимый 30
Язык контекстно-свободный 30
Язык регулярный 43 59
Язык, LR(k) 73
Язык, типа 0 30
|
|
|
| Реклама |
|
|
|
|
|
О проекте