Unique decomposition of homogeneous languages and application to isothetic regions - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Mathematical Structures in Computer Science Année : 2019

Unique decomposition of homogeneous languages and application to isothetic regions

Résumé

A language is said to be homogeneous when all its words have the same length. Homogeneous languages thus form a monoid under concatenation. It becomes freely commutative under the simultaneous actions of every permutation group Sn on the collection of homogeneous languages of length n ∈ N. One recovers the isothetic regions from (Haucourt (2017)) by considering the alphabet of connected subsets of the space |G|, viz the geometric realization of a finite graph G. Factoring the geometric model of a conservative program amounts to parallelize it, and there exists an efficient factoring algorithm for isothetic regions. Yet, from the theoretical point of view, one wishes to go beyond the class of conservative programs, which implies relaxing the finiteness hypothesis on the graph G. Provided that the collections of n-dimensional isothetic regions over G (denoted by Rn|G|) are co-unital distributive lattices, the prime decomposition of isothetic regions is given by an algorithm which is, unfortunately, very inefficient. Nevertheless, if the collections Rn|G| satisfy the stronger property of being Boolean algebras, then the efficient factoring algorithm is available again. We relate the algebraic properties of the collections Rn|G| to the geometric properties of the space |G|. On the way, the algebraic structure Rn|G| is proven to be the universal tensor product, in the category of semilattices with zero, of n copies of the algebraic structure R1|G|.
Fichier principal
Vignette du fichier
main.pdf (628.92 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04428820 , version 1 (31-01-2024)

Identifiants

Citer

Emmanuel Haucourt, Nicolas Ninin. Unique decomposition of homogeneous languages and application to isothetic regions. Mathematical Structures in Computer Science, 2019, 29 (5), ⟨10.1017/S0960129518000294⟩. ⟨hal-04428820⟩
22 Consultations
8 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More