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