|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Кудрявцев В.Б., Алёшин С.В., Подколзин А.С. — Введение в теорию автоматов |
|
|
|
| Предметный указатель |
 -полнота 174
 -связная конфигурация 295
 -выразимость 180
-эквивалентность о.-д. функции 179
A-выразимость 180
A-полнота 180
Berger, R. 267
Budach, L. 117 118
Dopp, K. 117
F-свойство 171
Gecseg, F. 317
Goto, E. 259
I-базис 173
I-выразимость 164
I-замкнутое множество 164
I-замыкание 167
I-критериальная система 184
I-полное в M множество 164
I-предполный класс 184
K-замыкание 167
K-полнота 167
m, n-универсальная о.-д. функция 171
McNaghton, R. 106
Myhill, G. 269
n-распознаваемое множество 137
Peak, I. 317
r-неотличимость автоматов 50
r-распознаваемое конечным автоматом множество целых чисел 137
Rose, G.F. 110 317
Starke, P. 317
t-приближение о.-д. функции 226
t-продолжение о.-д. функции 227
t-продукция 190
Yscymlic, S. 317
Автомат 6
Автомат абстрактный 6
Автомат абстрактный бесконечный 31
Автомат абстрактный конечный 12 14
Автомат автономный 18
Автомат асинхронный 35
Автомат без памяти 19
Автомат без потери информации 20
Автомат вероятностный 35
Автомат групповой 38
Автомат инициально связный 21
Автомат инициальный 18
Автомат инициальный приведенного вида 60
Автомат линейный 38
Автомат Мура 15
Автомат над термами 37
Автомат недетерминированный 33
Автомат нечетный 36
Автомат перестановочный 38
Автомат приведенного вида 45
Автомат с конечной памятью 19
Автомат с конечным запоминанием 19
Автомат с переменной структурой 36
Автомат самонастраивающийся 20
Автомат связный 20
Автомат сильно связный 20
Автомат структурный 6 164
Автомат структурный конечный 12
Автомат счетчиковый 33
Автомат Тьюринга 31
Автомат частичный 34
Автомат, выходящий из лабиринта G 118
Автомат-часы 19
Автоматно перечислимое множество 108
Акцептор 91
Алгебра пар 243
Алгебраический оператор замыкания 165
Алешин, С.В. 7 228 229 249 251
Алфавит входной 14
Алфавит выходной 15
Алфавит состояний 14
Атомарная о.-д. функция 226
Базис достижимости 60
Базис отличимости 61
Барашко, А.С. 317
Бардзинь, Я.М. 317
Безусловный простой эксперимент 81 314
Бернсайд, У. 229 235
Бинарная декомпозиция 239
Блок однородной структуры 269
Блок покрытия 242
Богомолов, А.М. 317
Болотов, А.А. 33
Буевич, В.А. 171 181 187 188 189 190
Бухараев, Р.Г. 36
Бюхи, Д.Р. 138
Василевский, М.П. 61 67 73 77 84 85 86 87 90
Вес ограниченно-детерминированной функции 42
Ветренникова, Е.В. 171 181
Взаимно стираемые конфигурации 269
Внутренние переменные системы канонических уравнений 153
Внутренний ход линейной о.-д. функции 197
Вполне связная конфигурация 281
Время синхронизации 259
Входное сверхслово 17
Входное слово 17
Входные переменные системы канонических уравнений 153
Выходное сверхслово 17
Выходное слово 17
Вычислимая непрерывная функция 300
Вычислимое вещественное число 300
Гжегорчик, А. 277
Глушков, В.М. 317
Гомоморфизм автоматов 236
Граф переходов однородной структуры 265
Грунский, И.С. 53
Группа автоматных подстановок 226
де Брейн, Н.Г. 79
Дерево информационное 39
Детерминированная функция 39
Диагностический кратный эксперимент 65
Диагностический простой эксперимент 81
Диаграмма Мура 15
Длина периода периодического сверхслова 42
Длина предпериода периодического сверхслова 42
Длина результата применения эксперимента к автомату 64 81
Длина слова 17
Длина эксперимента относительно класса автоматов 64 81
Добавление фиктивного входа схемы 162
Достижимость состояний 49
Зависимость со сдвигом выхода о.-д функции от входа  156
Задача о синхронизации 258
Задержка 16
Заключительно периодическое множество 137
Замкнутый класс состоянии однородной структуры 274
Изображение сверхслова 197
Изоморфизм автоматов 45
Изоморфизм информационных деревьев 41
Изъятие фиктивного входа схемы 162
Истинностная о.-д. функция 167
Источник 96
Итерация события 92
Карацуба, А.А. 82
Клини, С.К. 23 95
Кобхэм, А. 138
Колмогоров, А.Н. 317
Композиция над M 161
Компонента сильной связности 85
Кон, П. 184
Конечно-порожденная группа 229
Константная о.-д. функция 184
Конфигурация блока 269
Конфигурация однородной структуры 253
Корень информационного дерева 39
Коридор в лабиринте 119
Коршунов, А.Д. 130 131 132 133 135
| Кратко, М.Л. 190
Кратность результата применения эксперимента к автомату 64
Кратность эксперимента относительно класса автоматов 64
Кратный безусловный эксперимент 63
Кратный условный эксперимент 64
Кудрявцев, В.Б. 7 151 171 173 177 184 185 251 252
Летичевский, А.А. 317
Линейная о.-д. функция 195
Локальная функция переходов 253
Локальное ограничение 277
Лупанов, О.Б. 29 96 249
Ляпунов, А.А. 317
Максимальное неприводимое слово 65
Мальцев, А.И. 30
Марков, А.А. 317
Машина Тьюринга 29
Метод погружения 249
Множество сверхслов, представимое в конечном автомате 100
Множество слов, представимое в конечном автомате 92
Моделируемость автомата V автоматом V' 236
Модель автомата V в автомате V' 23 7
Мозаичная структура 38
Мультипликативно независимые числа 137
Мур, Э.Д. 15 45 46 48 49 58 59 82 258 269
Начальная вершина источника 96
Начальная вершина лабиринта 117
Начальная вершина обобщённого источника 93
Начальная вершина сверхисточника 102
Начальное состояние инициального автомата 45
Неконструируемая конфигурация блока 269
Неотличимость состояний множеством слов 57
Неотличимые автоматы 45
Неотличимые инициальные автоматы 60
Неотличимые множеством M инициальные автоматы 60
Неотличимые состояния 44
Непериодическое состояние однородной структуры 269
Непосредственная переменная линейной о.-д. функции 202
Непрерывное локальное ограничение 277
Неприводимое слово 65
Обобщенный источник 93
Общая проблема домино 267
Общерегулярное сверхсобытие 100
Объем результата применения эксперимента к автомату 64
Объем эксперимента относительно класса автоматов 64
Ограниченно-детерминированная функция 42
Ограниченно-детерминированная функция многих переменных 151
Ограниченный граф переходов однородной структуры 265
Однородная система продукций Поста 190
Однородная структура 253
Однородный: автомат 32
Окрестность ячейки 253
Оператор замыкания 164
Операции суперпозиции 160
Операция добавления фиктивной переменной 158
Операция изъятия выходной переменной 238
Операция изъятия фиктивной переменной 158
Операция обратной связи для о.-д. функций 160
Операция обратной связи для схем 163
Операция объединения 238
Операция отождествления переменных 159
Операция переименования переменных 159
Операция подстановки 160
Ортогональные покрытия 243
Основная функция переходов 253
Остаточная функция 41
Отличимость состояния множеством слов 57
Отличимые состояния 44
Отрезок однородной структуры 258
Пара покрытий 243
Параллельное соединение автоматов  и  с операторами связи  и  239
Пеннон, К. 117
Передаточная функция 196
Передаточная функция для переменной 197
Переименование входов схемы без склеивания 163
Переходная система 19
Периодическая группа 229
Периодическое сверхслово 42
Плоская укладка лабиринта 121
Плоский прямоугольный лабиринт 117
Поведение автомата в лабиринте 118
Поведение однородной структуры 253
Поведение пары автоматов 116
Подавтомат 236
Подколзин, А.С. 7 110 117 266 271 278 281 289 293 299 301 302 308 310
Подобные лабиринты 121
Подобные слова 121
Покрытие множества состояний автомата 242
Покрытие со свойством подстановки 242
Полугруппа автомата 37
Пономаренко, Г.Г. 51 53 55
Порядок памяти автомата 19
Порядок памяти состояния 52
Последовательное соединение автоматов и с оператором связи H 239
Последовательное соединение схем 163
Пост, Е. 190
Почти константная о.-д, функция 185
Правильный лабиринт 118
Предел свехслова 100
Предельная вершина сверхпути 102
Представимое сверхсобытие 100
Представимое событие 92
Представимость однородных структур 302
Проблема Бернсайда 229
Проблема остановки 190
Произведение автоматов и , с оператором обратной связи H 239
Произведение событий 92
Произведение события на сверхсобытие 100
Простая вершина лабиринта 118
Простая область 300
Прямоугольный лабиринт 117
Пустое слово 17
Пусть в обобщенном источнике 93
Реализация о.-д. функции схемой 164
Регулярное выражение 98
Регулярное событие 92
Редько, В.Н. 317
Результат применения кратного безусловного эксперимента к автомату 63
Результат применения кратного условного эксперимента к автомату 64
Результат применения простого безусловного эксперимента к автомату 81
Результат применения простого условного эксперимента к автомату 81
Рябинин, А.В. 146
Саломаа, А. 92 99
Самовоспроизводящаяся конфигурация 258
Самокорректирующаяся однородная структура 295
Сверхакцептор 100
Сверхисточник 102
Сверхитерация 100
Сверхпуть 102
Сверхслово 17
Сверхслово состояний 17
Сверхсобытие в алфавите A 100
Сверхсобытие, определяемое сверхисточником 102
Связная конфигурация 280
Сильно автоматно-перечислимое множество 109
Сильно непрерывное локальное ограничение 227
Система канонических уравнений 18
Склеивание входов схемы 162
Слабо неотличимые автоматы 47
Слово состояний 17
Событие в алфавите A 92
Событие, определяемое обобщенным источником 93
Событие, определяемое регулярным выражением 98
Сокращенное поведение автомата в лабиринте 119
Состояние однородной структуры 253
Состояние с конечной памятью 52
Состояние ячейки однородной структуры 253
Сохранение множества M функцией f 174
Сперанский, Д.В. 317
Стирнз, Р. 242 243
Стохастическая функция автомата 145
|
|
|
| Реклама |
|
|
|
|
|
О проекте