ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

Автоматы -см. Конечные автоматы

Алфавит входной 17

- выходной 17 Асинхронная система 15

Безусловные эксперименты 123

Вход-выход последовательность 216

Входной алфавит 17

- символ 18 Входные переменные 14 Выходная последовательность 29 Вы.ходной алфавит 17

- символ 18

Выходные переменные 14

Граф переходов 40-43 Группировка 251

- правильная 252 --минимальная 254

Дерево диагностическое 138-142

- кратного эксперимента 153- 155

- преемников 135-138

- установочное 161-164 Детерминированный конечный

автомат 22 Диагностическая последователь-

Hocib 127, 141, 142 Диагностический путь 141 Диагностическое дерево 138-

Дискретность во времени 15, 17 Достижимость 46, 47 Дуга заходящая 43, 53

- исходящая 43, 53

Зависимые переменные 24 Заходящая дуга 43, 53

Избыточный путь 59 Изолированное состояние 43, 53 Изолированный подавтомат 44, 54, 55

Изоморфные конечные автоматы 38, 39, 42, 43

Импульсная характеристика линейного двоичного автомата 235, 236

Исключительный класс 188

Источник синхронизирующий 15

Исходящая дуга 43, 53

Квазиэквивалентность 251-254 Класс й-эквивалентности 82

- эквивалентности 87

- эквивалентных автоматов 102 Компактная (р, ц) -последовательность 241, 242

Конечность алфавита 17-19 Конечные автоматы 21

--без ограничений на входе

---потери информации

201-207

-- в покое 227

--детерминированные 22

--, другая модель 27-29

--изоморфные 38, 39, 42, 43

--линейные двоичные 227-

--минимальные ПО, 111, 116,

--, не зависящие от выхода

240-243

- - цетривиальные 22

Конечные автоматы обратимые 198

.--.основная модель 21, 22

--, примеры 22-24

--различимые 100

--разложимые 48

--расщепляемые 49-51

--сильносвязные 196-201,

--с конечной памятью 210-

--с ограничениями на входе 49

--сравнимые 49

-- тривиальные 22

-- эквивалентные 100

---,класс 102

--(п, р, q) 37

---явно минимальные 37-

40, 116, 117

----сократимые 37, 38,

39, 116

Контур полный 63, 64

- элементарный 58 Кратного эксперимента дерево

153-155 Кратные эксперименты 124 й-различимость 79-82 -эквивалентное разбиение 82-

й-эквивалентность 79-82

Линейные двоичные конечные автоматы 227-240

----, выходная последовательность периодическая 232

----,--свободная 232

----, импульсная характеристика 235, 236

Максимальная память 215 Максимальное разложение автомата 48 Матрица переходов 52-55

--высшего порядка 55-58

--, частичное построение 68,

--,эквивалентное разбиение

97-100

- скелетная 65-67

- совместимости 256

Минимальная группировка 251, 254

- форма 106-113, 253

- jc-z-таблица 226

- :-г-функция 222 Минимальные конечные автоматы 110, 111, 116, 117

Минимальный путь 61, 62 Минимизация автомата 106- 110, 254-259

- л:-г-функции 222-226 Множество совместимое 254

- состояний 19, 24-27

--допустимых начальных 126

Модифицированная скелетная матрица 67, 62

Начальное состояние 30 Несовместимость 248 Нетривиальные конечные автоматы 22

Обратимые конечные автоматы 198

Общая задача распознавания автоматов 184-201

Объединение эквивалентных состояний 113-116

Ограничение на входе 248

Оператор задержки 229

Определение множества состояний по внутренней структуре 24-27

- памяти 220, 222 Основное состояние 227

Память 215

- максимальная 215 -, определение 215

- X 215

- Z 215

Пара вход-выход 41 Передаточное отношение 230 Переменные входные 14

- выходные 14

- зависимые 24

- промежуточные 14 Перечисление автоматов 37-38 Периодическая выходная последовательность линейного двоичного автомата 232

Период свободной выходной последовательности 232 Петля 43, 53

Повреждения, распознавание

192-196 Подавтомат 44

- изолированный 45, 54, 55

- преходящий 45, 54, 55

- тупиковый 45, 54, 55 Подтаблица Sv+i 34

- 2v34

Полный контур 63, 64 Последовательность вход-выход 216

- входная 29

- выходная 29

- установочная 163 --минимальная 163

- (Р. fi) 241

Предсказание поведения автомата 29-31 Преходящее состояние 43, 53 Преходящий подавтомат 45, 54, 55

Промежуточные переменные 14 Простые эксперименты 124 Путь 55

- диагностический 141

- избыточный 59

- минимальный 61, 62

- установочный 163

- элементарный 58

Различимость автоматов 100- 102

- состояний 76-79

- явная 77, 78 Разложение автоматов 47-55

--максимальное 48, 49

Разложимые конечные автоматы

Разобщенное состояние 82 Распознавание повреждений 192-196

Распознающие эксперименты - см. Эксперименты

Расщепляемые конечные автоматы 49-51

Свободная выходная последовательность линейного двоичного автомата 232

Семейство перестановок 38-43 Сильносвязные конечные автоматы 196-201, 240 Символ входной 18

- выходной 18

Синхронизирующий источник 15

- сигнал 15

Система асинхронная 15

- синхронная 15

- с конечной памятью 211-215 Скелетная матрица 65-67

--модифицированная 67, 68

Совместимое множество 254 Совместимость 248-251

-, матрица 256

Сокращенная форма 113-116, 253

Состояние 19-21

- допустимое начальное 126

- изолированное 43, 53

-,класс эквивалентности 87

- начальное 30

- основное 227

- преходящее 43, 53 -, различимость 76-79

- разобщенное 82

- смежное 82

- с потерей информации 202

- тупиковое 43, 53

-, эквивалентное разбиение 87- 100

- Ii-совместимое 177, 178 Сравнимые конечные автоматы

Таблица минимальная х-г 226

- пар 92-97, 250, 251

- переходов 34-36

- проверки потерь 204-206

- эквивалентности 103-105

- X-Z 222-226

Тривиальные конечные автоматы 22

Тупиковое состояние 43, 53 Тупиковый подавтомат 45, 54. 55

Уменьшение числа состояний автомата 113-116, 259-263

Установочная последовательность 163