 |
|
|
|
| HAL : hal-00376641, version 2 |
| arXiv : 0904.2893 |
| Fiche détaillée |  Récupérer au format |
|
|
| Semigroup Forum 81 (2010) 243-254 |
|
|
| Versions disponibles : | v1 (19-04-2009) | v2 (01-07-2010) |
|
|
|
|
| On the lattice of sub-pseudovarieties of DA |
|
|
| Manfred Kufleitner 1Pascal Weil 2 |
|
|
| ESF Program AutoMathA Collaboration(s) |
|
|
| (2010) |
|
|
|
| The wealth of information that is available on the lattice of varieties of bands, is used to illuminate the structure of the lattice of sub-pseudovarieties of DA, a natural generalization of bands which plays an important role in language theory and in logic. The main result describes a hierarchy of decidable sub-pseudovarieties of DA in terms of iterated Mal'cev products with the pseudovarieties of definite and reverse definite semigroups. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Institut für Formale Methoden der Informatik |
|
|
|
Universität Stuttgart |
|
|
| 2 : | Laboratoire Bordelais de Recherche en Informatique (LaBRI) |
|
|
|
CNRS : UMR5800 – Université Sciences et Technologies - Bordeaux I – Ecole Nationale Supérieure d'Electronique, Informatique et Radiocommunications de Bordeaux – Université Victor Segalen - Bordeaux II |
|
|
|
|
|
|
|
|
|
| Méthodes Formelles |
|
|
|
|
| Domaine | : | Mathématiques/Théorie des groupes |
|
|
| pseudovarieties – bands |
|
|
|
| Liste des fichiers attachés à ce document : | ||||||||||
|
||||||||||
|
|
|
| hal-00376641, version 2 | |
| http://hal.archives-ouvertes.fr/hal-00376641 | |
| oai:hal.archives-ouvertes.fr:hal-00376641 | |
| Contributeur : Pascal Weil | |
| Soumis le : Mercredi 30 Juin 2010, 22:24:14 | |
| Dernière modification le : Lundi 30 Août 2010, 16:43:10 | |
