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