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