А.А. Азаров - аспирант, Санкт-Петербургский институт информатики и автоматизации РАН (СПИИРАН), Санкт-Петербургский государственный университет. E-mail: artur-azarov@yandex.ru