Теория переключательных схем, М и л-
лер Р., т. II—Последовательностные схемы и машины, перев. с англ., изд-во «Наука», Главная редакция физико-математической литературы, М., 1971, 304 стр.
Книга является вторым томом двухтомного труда по теории переключательных схем. В монографии изучаются свойства и рассматриваются способы построения последовательностных устройств релейного действия.
Излагаются элементы теории конечных автоматов, некоторые алгебраические свойства последовательностных машин, вопросы минимизации числа состояний. Рассмотрены методы кодирования состояний с учетом требований простоты структуры, способы построения схем, свободных от различных видов состязаний, приведены стандартные решения. Исследуется задача согласования работы асинхронной последовательностной схемы с поведением внешней среды. Излагаются основные результаты теории схем, поведение которых не зависит от скорости реакций входящих в них элементов.
Книга рассчитана на научных работников и инженеров, занятых в области автоматики и вычислительной техники, а также на студентов и аспирантов, специализирующихся в указанной области. Илл. 133. Табл. 55. Библ. 136 назв.
ОГЛАВЛЕНИЕ
Глава 6. Некоторые модели и элементарные свойства последовательностных машин ................ 7
6.1. Введение .................... ' 7
6.2. Основная модель последовательностных переключательных схем ..................... Ч
6.3. Последовательностные логические схемы....... 23
6.4. Модели последовательностных машин........ 29
6.5. Некоторые элементарные свойства.......... 36
6.6. Связь между моделями Мили и Мура........ 41
6.7. Регулярные выражения и Последовательностные машины . 47
Упражнения (54). Замечания по библиографии (58). Литература (58). 54
Глава 7. Совместимость, эквивалентность и минимизация числа
состояний последовательностных машин.......62
7.1. Введение.................... 62
7.2. Допустимые входные последовательности и совместимость состояний...................63
7.3. Отношение включения и эквивалентность машин.....73
7.4. Совместимые множества и минимизация состояний ... 77
7.5. Другие свойства последовательностных машин и их применение к минимизации состояний...........98
7.6. Минимизация состояний для полных последовательностных машин.....................115
Упражнения (118). Замечания по библиографии (121). Литература (121). 118
Глава 8. Кодирование состояний последовательностных машин . 124
8.1. Введение....................124
8.2. Переход от кодирования состояний к уравнениям .... 125
8.3. Элементарный подход к кодированию состояний.....132
8.4. Разбиения состояний для ослабления функциональной зависимости....................139
8.5. Множества соседей и свойства подкуба для кодирования состояний....................'162
Упражнения (169). Замечания по библиографии (173). Литература (174). 169
6 ОГЛАВЛЕНИЕ
Глава 9. Асинхронные переключательные схемы......176
9.1. Введение....................176
9.2. Типы паразитных задержек в схемах.........178
9.3. Анализ поведения схемы с паразитными задержками . . .181
9.4. Комбинационные схемы, свободные от состязаний .... 190
9.5. Синтез асинхронных схем с ограниченными паразитными задержками ....................197
9.6. Существенные состязания в последовательностных схемах . 215
9.7. Согласованные асинхронные схемы..........227
Упражнения (236). Замечания по библиографии (239). Литература (240). 236
Глава 10. Теория переключательных схем, не зависящих от
скорости .................242
10.1. Введение................... 242
10.2. Полные схемы и схемы, не зависящие от скорости . . . 243
10.3. Представление состояний сигналами.........252
10.4. Некоторые подклассы схем, не зависящих от скорости . . 261
10.5. Теорема соединения для полумодулярных схем.....276
10.6. Использование карт переходов для синтеза схем .... 282
10.7. Некоторые практические проблемы физической реализации схем, не зависящих от скорости...........293
10.8. Заключительные замечания............298
Упражнения (299). Замечания по библиографии (301). Литература (301). 299
Предметный указатель................303