КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Обложка Богомолов А.М., Грунский И.С., Сперанский Д.В. Контроль и преобразования дискретных автоматов
Id: 116332
 
1999 руб.

Контроль и преобразования дискретных автоматов

1975. 174 с. Твердый переплет. Букинист. Состояние: 4. Блок текста: 4+. Обложка: 4-. Погашенная печать расформированной библиотеки.

Книга посвящена некоторым вопросам контроля и преобразования дискретных автоматов применительно к задачам технической диагностики.

Рассматриваются контрольные и распознающие эксперименты с автоматами, автоматы без потери информации, различные преобразования автоматов для улучшения их диагностических свойств, приведены оценки эффективности алгоритмов анализа автоматов, исследованы возможности декомпозиции автоматов при решении задач контроля и диагноза.

Рассчитана на специалистов в области теории автоматов, вычислительной техники и технической диагностики, будет полезна также студентам и аспирантам соответствующих специальностей.


Оглавление

ПРЕДИСЛОВИЕ

ВВЕДЕНИЕ

Глава 1. КОНТРОЛЬ И РАСПОЗНАВАНИЕ АВТОМАТА С ПОМОЩЬЮ ИДЕНТИФИКАТОРОВ СОСТОЯНИЙ

1.1. Идентификаторы состояний автомата

1.2. Анализ вход-выходных последовательностей

1.3. Нахождение идентификаторов состояний автомата по порожденным им вход-выходным последовательностям

1.4. Контрольные эксперименты с автоматом

1.5. Эксперименты по распознаванию автоматов

Глава 2. КОНТРОЛЬ АВТОМАТОВ И ОБХОДЫ ГРАФОВ

2.1. Контроль функции выходов инициального автомата с использованием простого безусловного эксперимента

2.2. Нижняя и верхняя оценки длины кратчайших обходов и характеристических слов

2.3. Контроль функции выходов неинициального автомата с использованием простого безусловного эксперимента

2.4. Контроль функции выходов инициального автомата с использованием кратного безусловного эксперимента

2.5. Контроль автомата как специальный обход графа

Глава 3. АВТОМАТЫ БЕЗ ПОТЕРИ ИНФОРМАЦИИ

3.1. Автоматы существенно без потери информации

3.2. Автоматы существенно без потери информации конечного порядка

3.3. Автоматы k - существенно без потери информации

Глава 4. ПРЕОБРАЗОВАНИЯ АВТОМАТОВ

4.1. Преобразование автомата добавлением входных сигналов

4.2. Преобразования автоматов в БПИ-автоматы на регулярных множествах слов

Глава 5. ЭФФЕКТИВНОСТЬ АЛГОРИТМОВ АНАЛИЗА АВТОМАТОВ

5.1. Метод нахождения кратчайшего пути на графе

5.2. Алгоритмы анализа структурных автоматов

5.3. Определение объема вычислений и памяти при реализации алгоритмов анализа автоматов

Глава 6. ДЕКОМПОЗИЦИЯ АВТОМАТОВ ПРИ РЕШЕНИИ ЗАДАЧ КОНТРОЛЯ И ДИАГНОЗА

6.1. Построение распознающих тестов для параллельного и последовательного соединения

6.2. Построение распознающих тестов для соединения с обратной связью

6.3. Декомпозиция моделей логических устройств с памятью при решении задач диагноза и контроля

ЛИТЕРАТУРА