"Infinite words: automata, semigroups, logic and games" - читать интересную книгу автора (Dominique Perrin, Jean Eric Pin)