Булева алгебра и конечные автоматы

Abstract

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

Перевод с французского Е. В. БАБИЧЕВОЙ. Под редакцией д-ра техн. наук П. П. ПАРХОМЕНКО