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
Inria Bordeaux - Sud-Ouest, SCRIME - Studio de Création et de Recherche en Informatique et Musique Électroacoustique, LaBRI - Laboratoire Bordelais de Recherche en Informatique
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.
Liste complète des métadonnées

Cited literature [24 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00879465
Contributor : David Janin <>
Submitted on : Monday, November 4, 2013 - 8:59:02 AM
Last modification on : Tuesday, May 29, 2018 - 9:14:04 AM
Document(s) archivé(s) le : Friday, April 7, 2017 - 8:10:12 PM

File

RR-1476-13.pdf
Files produced by the author(s)

Identifiers

  • 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. pp.335-346. ⟨hal-00879465⟩

Share

Metrics

Record views

354

Files downloads

153