Теория автоматов и формальных языков - 2 семестр.

По окончанию курса - Зачет.