Теория формальных автоматов: куда двигаться дальше? Душкин объяснит