Экзаменационная программа по курсу «Теория автоматов и формальных языков», 2 курс, весна