Изложены основные понятия теории конечных автоматов и формальных языков; сведения из теории графов, необходимые для способов компьютерного задания и наглядного представления конечных автоматов и формальных языков, а также основные методы анализа и синтеза конечных автоматов. Разобраны типовые задачи. Приведены условия типовых индивидуальных домашних заданий. Для студентов МГТУ им. Н. Э. Баумана, обучающихся по направлениям подготовки «Математика и компьютерные науки», «Информатика и вычислительная техника».