palavras-chave Canonical form Finite semigroup Implicit signature Local group Pseudovariety Word problem kappa-term κ-term