В последние годы интенсивно ведется работа в ряде центров по разработке и применению различных автоматических систем цифровой обработки информации. Такие системы являются основой цифровых вычислительных машин, различных устройств управления, работающих на заданный алгоритм, и моделей, которые имитируют активность живого организма (так называемые роботы). Эти автоматы принимают форму самостоятельных специальных устройств или узлов, из которых системы регулирования и контроля состоят, и они построены из различных компонентов, таких как электромеханических реле, электронных \Алвеш, транзисторы, ферриты и т. д. Производства различных типов цифровых автоматов растет быстрыми темпами. Область их применения постоянно расширяется. Тем временем он стал крайне важным для разработки теории цифровых систем.
Теория цифровых систем охватывает широкий спектр проблем, связанных с изучением возможности автоматизации тех или иных средств обработки информации, повышения производительности и надежности автоматов, а также разработкой эффективных методов анализа и синтеза их. Пристальное внимание сейчас уделяется этих проблем, как в Советском Союзе и за рубежом. В связи с этим в советской и зарубежной периодической литературе опубликовано большое число статей по различным аспектам теории автоматов. Однако количество монографических исследований в данной области исследований остается крайне мало. В то же время, потребность в литературе для информирования широкого круга читателей о современном состоянии теории цифровых автоматов постоянно растет.
Указанные выше причины побудили авторов к попытке систематическое изложение основных проблем в теории так называемых конечных автоматов и четко разграничить различные аспекты этой теории.