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