Трахтенброт Б.А., Барздинь Я.М. — Конечные автоматы. Поведение и синтез :: Электронная библиотека попечительского совета мехмата МГУ

Главная Ex Libris Книги Журналы Статьи Серии Каталог Wanted Загрузка ХудЛит Справка Поиск по индексам Поиск Форум

Авторизация

Поиск по указателям

Трахтенброт Б.А., Барздинь Я.М. — Конечные автоматы. Поведение и синтез

Обсудите книгу на научном форуме

Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter

Название: Конечные автоматы. Поведение и синтез

Авторы: Трахтенброт Б.А., Барздинь Я.М.

Аннотация:

Настоящая книга посвящена поведенческой (или, как говорят еще, абстрактной) теории автоматов, в которой поведение автомата изучается при максимальном отвлечении от его конструктивных особенностей. Соответственно под синтезом автомата подразумевается построение его программы (а не структурной схемы, как это имеет место в структурной теории автоматов).

Язык:

Рубрика: Computer science/Вычислимость/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 1970

Количество страниц: 400

Добавлена в каталог: 22.11.2005

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID

Предметный указатель

#-симметрия      198
-граф      301
-граф абсолютный      316
-автомат      301
-автомат абсолютный      316
-алгоритм      316
-алгоритм допускает s-ошибку      322
$\mathbf{\text И}$ -формула      211
$\omega$       101
c-симметрия      198
Автомат      15
Автомат автономный      19
Автомат актуальный вероятностный      112
Автомат без выхода      20
Автомат без памяти      19
Автомат вероятностный      94
Автомат двусторонний      112
Автомат инициальный      16
Автомат инициальный приведенный      126
Автомат конечный      17
Автомат макронастроенный      22
Автомат макронастроенный вероятностный      98
Автомат Мили      43
Автомат Мура      23
Автомат муровски приведенный      130
Автомат настроенный      20
Автомат настроенный вероятностный      97
Автомат недетерминированный      64
Автомат Неймана одномерный      170
Автомат приведенный      126
Автомат с задержкой      23
Автомат сильно связный      259
Автомат специальный      187
Автоматы изоморфные      28
Автоматы инициальные изоморфные      327
Автоматы инициальные муровски эквивалентные      130
Автоматы инициальные эквивалентные      126
Автоматы одинаковые      270
Алгебра событий      109
Алгоритм инициально расшифровывает «черный ящик»      258
Алгоритм кратный безусловный над абсолютными «черными ящиками»      255
Алгоритм кратный безусловный над относительными «черными ящиками»      255
Алгоритм кратный итеративный      278
Алгоритм кратный итеративный допускает s-ошибку      289
Алгоритм кратный условный над абсолютными «черными ящиками»      256
Алгоритм кратный условный над относительными «черными ящиками»      255
Алгоритм простой безусловный над абсолютными «черными ящиками»      256
Алгоритм простой безусловный над относительными «черными ящиками»      256
Алгоритм простой итеративный      282
Алгоритм простой итеративный допускает s-ошибку      312
Алгоритм простой остаточно расшифровывает «черный ящик»      258
Алгоритм простой условный над абсолютными «черными ящиками»      257
Алгоритм простой условный над относительными «черными ящиками»      256
Алгоритм расшифровывает абсолютные автоматы равномерно с частотой $1-\varepsilon$       317
Алгоритм расшифровывает абсолютные «черные ящики» равномерно с частотой $1-\varepsilon$       273 286
Алгоритм расшифровывает абсолютные «черные ящики» с частотой $1-\varepsilon$       273 300
Базис конечного дерева      125 135
Базис оператора      123
Базис системы операторов      122
Беровское пространство      183
Буква, имеющая $(q_{\alpha}, q_{\beta})$ -первичное вхождение в слово      337
Буква, имеющая первичное вхождение в последовательность слов      338
Буква, имеющая первичное вхождение в слово      336
Вектор порядковый      156
Вершины-близнецы      67
Вершины-близнецы недостижимые      66
Вершины-близнецы ярусов      352 353
Вес автомата      126
Вес конечного дерева      125 135 181
Вес оператора      123
Вес регулярной формулы      244
Вес системы операторов      122
Восстановимость оператора      181
Восстановление оператора экспериментом      180
Вспомогательные символы грамматики      101
Высота автоматного графа      348
Грамматика контекстно-свободная      105
Грамматика леволинейная      102
Грамматика линейная      103
Грамматика непосредственно составляющих      101
Грамматика порождающая      100
Грамматика праволинейная      101
Грамматическое правило      100 101
Граф      24
Граф автоматный      25
График оператора      141
Двухполюсник      65
Дерево      26
Дерево бесконечное      26
Дерево полное      133
Дерево, согласованное с автоматом      254
Детерминизация источника      73
Детерминизация макроисточника      80
Диаграмма      24
Диаграмма, условия автоматности      24
Диаграммы изоморфные      28
Диаметр автоматного графа      357
Длина регулярной формулы      244
Емкость      188
Замыкание множества вершин      74
Зацикливание источника      72
Игра      147
Игра бесконечная      150
Игра конечная      148
Игра с конечным числом состояний      153
Изоморфизм автоматов      28
Изоморфизм диаграмм      28
Инвариант левый      108
Инвариант правый      108
Источник      61 111
Источник двухполюсный      65
Источник с допустимыми пустыми ребрами      63 64
Источники эквивалентные      65
Итерационная глубина      244
Итерация языка      70
Квантор младший      211
Квантор старший      211
Конечно-автоматная отделимость языков      51
Конкатенация      32
Конкатенация слова и сверхслова      32
Конкатенация языка со сверхъязыком      70
Конкатенация языков      70
Константа строго эффективная      316
КС-грамматика      105
Лента      16
Логическая сеть      42
Макроисточник      62
Макроисточники эквивалентные      65
Макросостояние автомата      22
Макросостояние благоприятное      153
Макросостояние диаграммы      61
Макросостояние предельное      22 68
Макросостояние предельное фиктивное      68
Матрица выходов      17
Матрица переходов      17
Метаязык      194
Метаязык заказчика      194
Метаязык исполнителя      194
Минимизация автомата      129
Минимизация настроенного автомата      138 139
Множество лент      16
Муровская неразличимость состояний      130
Муровская эквивалентность инициальных автоматов      130
Наращивание начального состояния      33
Начальный символ грамматики      101
Недостижимость вершин      66
Неразличимость сверхслов      53
Неразличимость слов      53
Нервная сеть      42
НС-грамматика      101

Общее A-решение сверхъязыка      186
Одинаковость автоматных графов      270
Одинаковость автоматов      270
Оператор      15
Оператор автоматный      121
Оператор без памяти      19
Оператор восстановим экспериментом      180
Оператор всюду определенный      114
Оператор детерминированный      121
Оператор истинностный      19 119
Оператор константный      119
Оператор непрерывный      184
Оператор остаточный      123
Оператор с задержкой      151
Оператор с конечным предвосхищением      118
Оператор с ограниченным предвосхищением      118
Оператор с предвосхищением      115
Оператор сверхсловарный      16 114
Оператор сверхсловарный без предвосхищения      115
Оператор словарный      16 114
Оператор словарный без предвосхищения      115
Оператор частичный      114 133 184
Оператор, реализуемый автоматом после подачи слова      263
Оператор, реализуемый «черным ящиком» после применения простого алгоритма      258
Оператор, удовлетворяющий формуле      214
Операторы k-различимые      164
Операторы различимые      121
Операция a-аннулирования языка      76
Операция подстановочная      109
Опрашивание автомата      254
Опрашивание автомата, находящегося в состоянии       254
Основание графа      352 353
Основание графа отличается от дерева в i местах      355
Основные символы грамматики      100
Отражение языка      51
Партия бесконечная      148
Партия конечная      148
Переменные младшие      210
Переменные старшие      210
Перечисление языка оператором      185
Поведение бесконечное      43
Поведение инициального автомата      16
Поведение конечное      43
Поведение настроенного автомата      21
Поведение специального автомата      187
Подавтомат      28
Полная система тождеств      247
Полюсы диаграммы входные      65
Полюсы диаграммы выходные      65
Порождение языка оператором      185
Построение, сохраняющее существенные пути слова      340
Поток      27
Представление сверхъязыка посредством оператора      137
Представление языка множеством выходов      137
Приведенный вес автомата      126
Проблема униформизации      142
Проекция буквы      30
Проекция сверхслова      30 46
Проекция сверхъязыка      46
Проекция слова      30 46
Проекция языка      46
Произведение автоматов      30
Произведение автоматов с отождествлением входов      30
Различимость операторов      121
Различимость состояний      126
Ранг вершины      168 169
Расщепление состояний      130
Реализация оператора      16
Реализация частичного оператора      120
Ребра ярусов      352 353
Свертка сверхслов      46
Свертка слов      46 141
Свертывание дерева      132 134
Сверхпоток      27
Сверхслова неразличимые      53
Сверхслово      27
Сверхслово специальное      186
Сверхслово устойчивое      87
Сверхъязык замкнутый      184
Сверхъязык конечно-автоматный      44
Сверхъязык, несомый сверхпотоком      27
Сверхъязык, представляемый в макронастроенном автомате      22
Сверхъязык, представляемый настроенным вероятностным автоматом      98
Свойство имеет место для почти всех автоматных графов      272
Свойство имеет место для почти всех автоматов      272
Свойство имеет место равномерно для почти всех автоматов      272 346
Свойство имеет место равномерно с частотой $1-\varepsilon$       271
Свойство имеет место с частотой $1-\varepsilon$ при данном разбиении      271
Сигнализирующая функция      259
Сильная итерация языка      70
Символ, предельный для сверхслова      21
Склеивание неразличимых состояний      127
Слова взаимозамещаемые      48
Слова левовзаимозамещаемые      48
Слова неразличимые      53
Слова остаточно различимые      123
Слова правовзаимозамещаемые      49
Слово в алфавите      16
Слово внутреннее      16
Слово входное      16
Слово выходное      16
Слово пустое      32
Слово, несомое путем      27
Слово, остаточно различающее множество автоматов      264
Слово, расшифровывающее автомат      309
Событие      16
Согласованность дерева с автоматом      254
Согласованность оператора и эксперимента      180
Согласованность эксперимента с автоматом      181
Состояние автомата      15
Состояние диаграммы      61
Состояние достижимое      127
Состояние строго k-достижимое      172
Состояние тупиковое      45
Состояния k-различимые      169
Состояния k-различимые строго      172
Состояния муровски неразличимые      130
Состояния неразличимые      126
Состояния различимые      126
Сочетаемая система пар      145
Спектр достижимости автомата      168
Спектр достижимости автомата словарный      308
Спектр достижимости автоматного графа      286
Спектр достижимости автоматного графа словарный      308
Спектр достижимости оператора      166
Спектр насыщения автомата      286
Спектр насыщения автомата словарный      308
Спектр различимости автомата      169
Спектр различимости оператора      165
Степень восстановления автомата      183
Степень восстановления автомата абсолютная      263
Степень восстановления оператора      181
Степень достижимости автомата      175
Степень достижимости автомата абсолютная      263
Степень достижимости оператора      175
Степень различимости автомата      175
Степень различимости оператора      175
Стохастическая процедура построения автоматного графа      353
Стратегия      150
Стратегия выигрывающая      152 153
Стратегия конечно-автоматная      151
Стратегия порядковая      158
Стягивание начальных вершин в полюс      65
Существенные пути слова      339
Существенный кусок слова      337
Терм      211
Тождество алгебры языков      247
Точка сечения изолированная      111
Тупиковые вершины      45
Тупиковые состояния      45

1 2

О проекте