Finite transducers for divisibility monoids - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2006

Finite transducers for divisibility monoids

Résumé

Divisibility monoids are a natural lattice-theoretical generalization of Mazurkiewicz trace monoids, namely monoids in which the distributivity of the involved divisibility lattices is kept as an hypothesis, but the relations between the generators are not supposed to necessarily be commutations. Here, we show that every divisibility monoid admits an explicit finite transducer which allows to compute normal forms in quadratic time. In addition, we prove that every divisibility monoid is biautomatic.
Fichier principal
Vignette du fichier
picantin.transducer.pdf (176.33 Ko) Télécharger le fichier
Loading...

Dates et versions

hal-00016875 , version 1 (13-01-2006)

Identifiants

Citer

Matthieu Picantin. Finite transducers for divisibility monoids. 2006. ⟨hal-00016875⟩
49 Consultations
160 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More