Um ?-termo é uma expressão formal obtida a partir das letras de um alfabeto usando duas operações: a binária concatenação e a unária potência-(?-1). Um ?-termo tem uma interpretação natural em cada semigrupo finito S: a concatenação é vista como a multiplicação no semigrupo enquanto a potência-(?-1) é interpretada como a operação unária que envia cada elemento s de S no inverso de ss^? no subgrupo maximal contendo a sua única potência idempotente s^?. O problema da palavra para ?-termos sobre uma classe V de semigrupos finitos consiste em decidir se dois dados ?-termos têm a mesma interpretação sobre todos os semigrupos de V. Neste seminário abordaremos o problema da palavra para ?-termos sobre a classe de todos os semigrupos finitos.
|