Рассмотрены основы анализа и синтеза простых и конечных автоматов имеющих память. Даны формы представления автоматов в разных базисах с помощью переключательных функций, их инимизация, с использованием метода Квайна, импликантной матрицы, диаграммы Вейча и т.д. Дана методика построения логических схем. Значительное внимание уделяется конечным автоматам, имеющим память, различным формам их представления, методике построения кодированных таблиц иструктурному синтезу. Пособие предназначено для студентов и магистрантов специальности «Компьютерные системы и сети» и соответствует дисциплине «Прикладная теория цифровых автоматов».