Содержит изложение основ теории автоматов, представляющих собой одну из основных моделей управляющих систем. Достаточно широко представлены результаты по теории абстрактных и структурных автоматов, полученные отечественными и зарубежными авторами за последние 30 лет, т.е. за время с момента возникновения и последующего формирования теории автоматов.
Для специалистов, работающих в области математической кибернетики и дискретной математики, а также для учащихся вузов, специализирующихся в этих областях: она будет полезна также инженерам, желающим углубить свои знания в кибернетике.
ОГЛАВЛЕНИЕ
Введение...................... ...................... 5
Глава 1. Понятие автомата...................... ......... 8
§ 1. Понятие конечного автомата...................... . 8
§ 2. Обобщения понятия конечного автомата................ 31
Глава 2. Абстрактные автоматы...................... ...... 39
§ 1. Ограниченно-детерминированные функции.............. 39
§ 2. Эквивалентность конечных автоматов................. 44
§ 3. г-неотличимость конечных автоматов.................. 50
§ 4. Отличимость состояний конечных автоматов............. 57
§ 5. Кратные эксперименты с конечными автоматами.......... 63
§ 6. Простые эксперименты с конечными автоматами.......... 80
§ 7. Конечные автоматы как акцепторы................... 91
§ 8. Конечные автоматы как сверхакцепторы............... 100
§ 9. Конечные автоматы как перечислители................. 108
§ 10. Взаимодействие конечных автоматов и конечные автоматы влабиринтах..........,........ ................ 116
§ 11. Оценка числа автоматов приведенного вида.............. 130
§ 12. Конечные автоматы как числовые акцепторы и преобразователи............... ......... 137
Глава 3. Структурные автоматы...................... ..... 151
§ 1. Ограниченно-детерминированные функции многих переменных.................... ........ 151
§ 2. Канонические уравнения..................... ..... 152
§ 3. Операции над ограниченно-детерминированными функциями 155
§ 4. Схемы. Структурный автомат...................... 161
§ 5. Замыкание. Выразимость. Задача о полноте............. 164
§ 6. Конечные А^-полные системы...................... 167
§ 7. ?-полнота..................... .............. 174
§ 8. А -замыкание.................... ............. 179
§ 9. Предполные классы........................ ..... 183
§ 10. Алгоритмическая неразрешимость задач о К- и Л-полноте. 190
§ 11. Разрешимый случай задачи о полноте. Линейные автоматы. 195
§ 12. Ограниченно-детерминированные функции одной переменной 224
§ 13. Группа AS2........................... ....... 229
§ 14. Гомоморфизм автоматов. Моделирование............... 236
§ 15. Задача о выразимости для детерминированных функций...... 247
Глава 4. Однородные структуры..................... ...... 253
§ 1. Определения и примеры....................... ... 253
§ 2. Графы переходов однородных структур................ 265
§ 3. Анализ поведений однородных стру
В продаже
Хочу купить
сейчас этого издания книги в продаже нет
попробуйте поискать другие издания этого произведения при помощи ссылок ниже
или оставьте объявление о покупке или продаже
