palavras-chave Anti-chain Aperiodic semigroup Free profinite McCammond normal form Pseudoword Rational language Semigroupoid omega-term