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