Morphisms and minimization of weighted automata - Archive ouverte HAL
Rapport (Rapport De Recherche) Année : 2021

Morphisms and minimization of weighted automata

Résumé

This paper studies the algorithms for the minimisation of weighted automata. It starts with the definition of morphisms-which generalises and unifies the notion of bisimulation to the whole class of weighted automata-and the unicity of a minimal quotient for every automaton, obtained by partition refinement. From a general scheme for the refinement of partitions, two strategies are considered for the computation of the minimal quotient: the Domain Split and the Predecesor Class Split algorithms. They correspond respectivly to the classical Moore and Hopcroft algorithms for the computation of the minimal quotient of deterministic Boolean automata. We show that these two strategies yield algorithms with the same quadratic complexity and we study the cases when the second one can be improved in order to achieve a complexity similar to the one of Hopcroft algorithm.
Fichier principal
Vignette du fichier
TKB.pdf (229.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03483922 , version 1 (16-12-2021)
hal-03483922 , version 2 (22-02-2022)
hal-03483922 , version 3 (05-04-2022)
hal-03483922 , version 4 (25-08-2022)
hal-03483922 , version 5 (11-10-2022)

Identifiants

Citer

Sylvain Lombardy, Jacques Sakarovitch. Morphisms and minimization of weighted automata. [Research Report] CNRS IRIF; LaBRI - Laboratoire Bordelais de Recherche en Informatique; Bordeaux INP. 2021. ⟨hal-03483922v1⟩

Collections

LARA
137 Consultations
175 Téléchargements

Altmetric

Partager

More