Universidade do Minho  

           
 
  Autenticação/Login
 
Contactos
Mapa do Site
   
  imprimir
 
voltar 
O problema da palavra para κ-termos sobre semigrupos finitos

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.

 
voltar 
 
  © 2024 Universidade do Minho  - Termos Legais  - actualizado por CMAT Símbolo de Acessibilidade na Web D.