Книга посвящена наложению общих вопросов теории автоматов дискретного действия, имеющих конечную память, которые называются конечными автоматами. Изложению теории предпосылаются краткие сведения по алгебре логики и логике предикатов, необходимые для решения задач анализа н синтеза автоматов. Описываются физические элементы: электронно-ламповые, полупроводниковые и магнитные, осуществляющие простейшие логические операции и являющиеся «ячейками» автомата. Приводятся общие методы анализа конечных автоматов.
Большое внимание уделено синтезу конечных автоматов. Излагаются общие методы синтеза, основанные па графических и аналитических способах задания операторов. Описываются различные практические приемы синтеза, которые иллюстрируются большим числом примеров.
Книга предназначена для студентов, аспирантов и научных работников, специализирующихся в теории кибернетических систем, и пнжепоров, занимающихся разработкой цифровых автоматических устройств — вычислительных и управляющих.