|
|
 |
| Авторизация |
|
|
|
| Поиск по указателям |
|
|
|
|
|
|
|
 |
|
|
|
| Айзерман М.А., Гусев Л.А., Розоноэр Л.И.и др. — Логика. Автоматы. Алгоритмы |
|
|
|
| Предметный указатель |
Разбиение множества состояний на группы эквивалентных относительно эксперимента длины q 401
Райс 281
Реакция  -машины 398
Реализация релейно-контактных схем 179
Реализация релейно-контактных схем по Хаффману 193
Регулярность представимых событий 241
Регулярные выражения 231
Регулярные выражения, глубина 231
Результат эксперимента 398
Рекурсивная функция 281 282
Рекурсивная функция, представление 282
Рекурсивные действительные числа 491
Рекурсивные последовательности 281
Реле промежуточное 178
Реле электрическое многообмоточное 49
Релейно-контактные схемы 11
Релейно-контактные схемы однотактные 47
Релейно-контактные схемы однотактные, анализ 53
Релейно-контактные схемы однотактные, минимизация 79
Релейно-контактные схемы однотактные, синтез 59
Релейно-контактные схемы, устойчивые (равновесные) состояния 176
Свойства 18
Сеть 140
Сеть без петель 141
Сеть задержек 140
Символ равновесный 199
Синтез конечных автоматов 527
Синтез конечных автоматов при задании регулярных выражений 285
Синтез конечных автоматов при задании соответствий между последовательностями 258
Синтез технических устройств, реализующих машину 160 527
Следствие 441
Слова 435
Слова смежные 436
Слова эквивалентные 437 440
Слова, дедуктивная цепочка 437
Слова, преобразование 436
Собственное разбиение минимальное 351
Собственное разбиение состояний 350
Собственное разбиение, перебор 351
Событие 219
Событие нерегулярное (непредставимое) 247
Событие определенное 233
Событие регулярное 233
Событие рекурсивное 281
Событие, порожденное рекурсивной функцией 281
Совместимые состояния 325
Состояние 92
Состояние начальное 146
Состояние последнее 412
Стрелка Пирса (функция Даггера) 27
Считывающая головка 497
Считывающая головка, стандартное положение 513
Таблица быстрой -машины 188
Таблица исходная 185
Таблица переходов 186 393
Таблица переходов, сжатие (сокращение) 188
Таблица преобразователя 106
Таблица релейной схемы 190
Таблица соответствия 22
Таблица соответствия общая 23
Такт 87 95
Тактность быстрая 157 175 363
Тактность медленная 157 174 363
Тактность, определяемая сменой входов 174
Тактность, преобразование 175
Тезис Чёрча 306 487 488
Теорема Ауфенкампа 342 346
Теорема Клини вторая 241
Теорема Клини первая 234
| Теорема Мура 323 400 401 403
Теорема Мура — Карацубы 412
Теорема Трахтенброта 283
Теория численных 130
Терм 477 478
Техническая реализация 160
Трахтенброт, Б.А. 119 281 529
Триады 105
Триады противоречивые 112
Триады соответствующие 112
Триады упорядоченное множество 105
Триады, лабиринт 241
Триады, путь в лабиринте 242
Триады, регулярное множество цепочек 243
Триггер 370
Триггер пневматический 171
Тьюринг 366 497 527
Функциональная зависимость 12
Функциональный преобразователь 86
Функция 12
Функция n-переменных 15 31
Функция арифметическая 455
Функция арифметическая вычислимая 456
Функция арифметическая вычислимая, пример построения 473
Функция арифметическая элементарная 457
Функция включения 473
Функция общерекурсивная 475 479 483
Функция общерекурсивная явная форма 481
Функция первоначальная 461
Функция примитивно-рекурсивная 462 470
Функция рекурсивная 281 282
Функция следования 460 518
Функция тождества 462 518
Функция Шеффера 27
Функция-константа 25 462 518
Хафмен, Д. 177 180 393
Хон 308 322 389
Цейтин, Г.С. 448 449
Цикл 199
Часы (датчик тактов, сигнализатор тактов) 95 195 366
Чёрч, А. 306 487 523
Шеннон, К.Э. 11
Шестаков, В.И. 11
Штрих Шеффера 27
Эквивалентность -машин 326 353
Эквивалентность -машин сильная 326 354
Эквивалентность -машин сильно связных 412
Эквивалентность -машин слабая 353 354
Эквивалентность состояний 303
Эквивалентность состояний начальных 353
Эквивалентность состояний относительно множества L последовательностей 305
Эквивалентность состояний при ограничениях на длину входных последовательностей 319
Эквивалентность состояний, алгоритм распознавания при ограничениях на входные последовательности 308
Эквивалентность состояний, алгоритмическая неразрешимость проблемы распознавания 305
Эквивалентность состояний, определение по реакции на эксперименты 400
Эквиваленция 27
Эксперимент 397
Эксперимент кратный 398 407
Эксперимент простой неразветвлённый 398 411 423
Эксперимент простой разветвленный 398 418
Элемент агрегатного набора 149
Элемент задержки 137 162
Эрбран 475 479
Эренфест, П. 11
Эффективное задание событий 280
Язык задания 257
Язык предикатный 284
Язык регулярных выражений 285
Ячейка памяти пневматическая 164
|
|
|
| Реклама |
|
|
|
|
|
О проекте