Теория формальных языков для специальности "Программное обеспечение информационных технологий"