palavras-chave Algebraic recognition Free profinite semigroup Omega-term Profinite closure R-trivial semigroup Regular language Unary semigroup