palavras-chave Aperiodic semigroup McCammond normal form Pseudovariety Regular language Star-free language Word problem