Neste seminário vamos falar de um algoritmo para gerar semigrupos finitos de transformações, por computador, e a sua implementação. Analizar-se-à a estrutura destes semigrupos.