Título da tese: "Propriedades algorítmicas de pseudovariedades de
semigrupos" Área de investigação: Teoria de Semigrupos Finitos Orientador:
José Carlos Costa
O objectivo deste trabalho é o de investigar várias propriedades algorítmicas de pseudovariedades de semigrupos, explorando ligações entre elas e as suas aplicações à decidibilidade (do problema da pertença) de pseudovariedades. Com o objectivo de melhor compreender a pseudovariedade dos semigrupos aperiódicos, algumas pseudovariedades mais simples, tais como LSl e DA, receberão uma atenção especial. |