palavras-chave Join of pseudovarieties Locally trivial semigroup Profinite semigroup Reducibility Tame pseudovariety Word problems