Utilize este identificador para referenciar este registo:
https://hdl.handle.net/10216/107489
Autor(es): | Almeida, J Klima, O |
Título: | Reducibility vs. definability for pseudovarieties of semigroups |
Data de publicação: | 2016 |
Resumo: | It is easy to show that a pseudovariety which is reducible with respect to an implicit signature sigma for the equation x = y can also be defined by sigma-identities. We present several negative examples for the converse using signatures in which the pseudovarieties are usually defined. An ordered example issue from the extended Straubing-Therien hierarchy of regular languages is also shown to provide a positive example for the inequality x <= y. |
URI: | https://hdl.handle.net/10216/107489 |
Tipo de Documento: | Artigo em Revista Científica Internacional |
Condições de Acesso: | openAccess |
Aparece nas coleções: | FCUP - Artigo em Revista Científica Internacional |
Ficheiros deste registo:
Ficheiro | Descrição | Tamanho | Formato | |
---|---|---|---|---|
213672.pdf | 436.2 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.