Subconjuntos R-pontuais de um semigrupo finito

K. Henckell descreveu em 1988 um algoritmo de carácter iterativo baseado em cálculos directos num semigrupo finito para determinar o conjunto de todos os seus subconjuntos pontuais relativamente à pseudovariedade dos semigrupos aperiódicos finitos (ou H-triviais). Para a relação de Green R, vale o algoritmo análogo, o que mostrámos com base nos nossos métodos profinitos. Já para a relação de Green J, o algoritmo análogo não calcula o conjunto dos subconjuntos J-pontuais embora seja fácil exibir um algoritmo adequado face ao conhecimento da estrutura dos semigrupos pró-J livres. Nota: trabalho em colaboração com M. Zeitoun (U. Bordeaux I) e J. C. Costa (U. Minho - Braga).