Encontrados 2 documentos, a visualizar página 1 de 1
Propriedades algorítmicas envolvendo a pseudovariedade LSl
Nogueira, Conceição VelosoTese de doutoramento em Ciências (ramo do conhecimento em Matemática) ; Os problemas de decidibilidade incluem-se entre os mais importantes e mais frutíferos da área dos semigrupos finitos e linguagens formais. É sabido que a decidibilidade não é preservada por alguns dos operadores de pseudovariedades mais comuns, tais como o supremo, o produto semidirecto, o produto de Mal’cev, entre outros [1, 58, 25]. Uma...
O problema da ω-palavra para pseudovariedades de semigrupos
Nogueira, Conceição VelosoMestrado Matemática ; A teoria de semigrupos começou, de certa forma, com um resultado sobre semigrupos finitos: o Teorema de Suschekewitsch de 1928 descrevendo a estrutura dos semigrupos finitos sem ideais próprios. Nos anos 50, o desenvolvimento da teoria dos autómatos finitos trouxe motivação nova para o estudo de semigrupos finitos. No entanto, só desde os anos 70 é que esta teoria tem obtido cada vez mais...
| Financiadores do RCAAP | |||||||
|
|
|
|
|
|
||