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