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