В пособии рассматриваются основные задачи теории автоматов; различные словесные определения автоматов и их формальная классификация; математические и структурные модели типовых автоматов; способы задания абстрактных и структурных автоматов. Изложены математические основы алгебры логики, некоторые понятия и определения, дающие возможность формального описания логических преобразователей (комбинационных автоматов), которые являются основой всех конечных автоматов, включая последовательностные (автоматы с памятью). Подготовлено в соответствии с требованиями Федерального государственного образовательного стандарта высшего образования. Предназначено для изучения дисциплины «Теория автоматов» по направлению подготовки высшего образования 09.03.01 «Информатика и вычислительная техника». Кроме того, учебное пособие будет полезно студентам других специальностей и направлений, изучающих данную дисциплину.