TAMENESS OF JOINS INVOLVING THE PSEUDOVARIETY OF LOCAL SEMILATTICES
| Autor: | Conceição Nogueira, José Carlos Costa |
|---|---|
| Přispěvatelé: | Universidade do Minho |
| Rok vydání: | 2012 |
| Předmět: |
Discrete mathematics
Science & Technology Pseudoword Semigroup Local semillatice General Mathematics 010102 general mathematics Joins 0102 computer and information sciences 01 natural sciences Decidability Combinatorics 010201 computation theory & mathematics Graph equation system Join of pseudovarieties Join (sigma algebra) Multiplication Tame pseudovariety 0101 mathematics Signature (topology) Mathematics |
| Zdroj: | Repositório Científico de Acesso Aberto de Portugal Repositório Científico de Acesso Aberto de Portugal (RCAAP) instacron:RCAAP |
| ISSN: | 1793-6500 0218-1967 |
| DOI: | 10.1142/s0218196712500609 |
| Popis: | In this paper we prove that, if V is a kappa-tame pseudovariety which satisfies the pseudoidentity xy^{\omega+1}z=xyz, then the pseudovariety join LSl v V is also kappa-tame. Here, LSl denotes the pseudovariety of local semilattices and kappa denotes the implicit signature consisting of the multiplication and the (omega-1)-power. As a consequence, we deduce that LSl v V is decidable. In particular the joins LSl v Ab, LSl v G, LSl v OCR and LSl v CR are decidable. European Science Foundation (ESF) through the programme ``Automata: from Mathematics to Applications (AutoMathA)'' Fundação para a Ciência e a Tecnologia (FCT) under the project PEst-C/MAT/UI0013/2011. FCT through the project PTDC/MAT/65481/2006, which was partly funded by the European Community Fund FEDER European Regional Development Fund, through the programme COMPETE |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|