Автоматное программирование А.А. Шалыто Санкт-Петербургский государственный унив Игра примеры 6 класс