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