Книга содержит основные работы известного советского ученого-кибернетика, одного из основателей теории релейных устройств и конечных автоматов, члена-корреспондента АН СССР М.А. Гаврилова, опубликованные за период с 1928 по 1977 год. Многие из этих исследований содержат фундаментальные результаты, положившие начало нескольким направлениям в теории автоматов. Последняя работа на русском языке публикуется впервые. Книга рассчитана на широкий круг специалистов в области логического управления. Особый интерес она представляет для разработчиков устройств автоматики и вычислительной техники.