Algebraic tools for the overlapping tile product

Etienne Dubourg 1, 2, 3 David Janin 3, 2
1 methodes formelles
LaBRI - Laboratoire Bordelais de Recherche en Informatique
3 PoSET - Models for a Structured Programming of Space and Time
LaBRI - Laboratoire Bordelais de Recherche en Informatique, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, Inria Bordeaux - Sud-Ouest
Abstract : Overlapping tile automata and the associated notion of recognizability by means of (adequate) premorphisms in finite ordered monoids have recently been defined for coping with the collapse of classical recognizability in inverse monoids. In this paper, we investigate more in depth the associated algebraic tools that allows for a better understanding of the underlying mathematical theory. In particular, addressing the surprisingly difficult problem of language product and star, we eventually found some deep links with classical notions of inverse semigroup theory such as the notion of restricted product.
Type de document :
Communication dans un congrès
8th International Conference on Language and Automata Theory and Applications (LATA), Mar 2014, Madrid, Spain. springer, 8370, pp.335-346, 2014, LNCS
Liste complète des métadonnées

Littérature citée [24 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00879465
Contributeur : David Janin <>
Soumis le : lundi 4 novembre 2013 - 08:59:02
Dernière modification le : mardi 29 mai 2018 - 09:14:04
Document(s) archivé(s) le : vendredi 7 avril 2017 - 20:10:12

Fichier

RR-1476-13.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00879465, version 1

Citation

Etienne Dubourg, David Janin. Algebraic tools for the overlapping tile product. 8th International Conference on Language and Automata Theory and Applications (LATA), Mar 2014, Madrid, Spain. springer, 8370, pp.335-346, 2014, LNCS. 〈hal-00879465〉

Partager

Métriques

Consultations de la notice

349

Téléchargements de fichiers

142