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