Приведены сведения об абстрактных автоматах Мили и Мура, способах их представления, понятие реакции автомата на входное слово и определение эквивалентных автоматов. Описаны методы взаимного эквивалентного преобразования автоматов. Даны примеры синтеза структурных автоматов на базе RS-, D-, Т- и JK-триггеров. Представлены общие сведения о микропрограммном управлении, методы разметки граф-схем микропрограмм и правила построения по ним автоматов Мили и Мура. Рассмотрены методы канонического синтеза структурных управляющих автоматов с жесткой и программируемой логикой, а также структурная организация и принципы синтеза операционных автоматов. Может использоваться для самостоятельного внеаудиторного изучения дисциплины. Предназначено для студентов, обучающихся по направлению «Информатика и вычислительная техника».