On the Average Complexity of Moore's State Minimization Algorithm - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2009

On the Average Complexity of Moore's State Minimization Algorithm

Frédérique Bassino
Laboratoire d'Informatique de Paris-Nord
Julien David
  • Fonction : Auteur
  • PersonId : 857843
Laboratoire d'Informatique Gaspard-Monge
Cyril Nicaud
Laboratoire d'Informatique Gaspard-Monge
CV

Résumé

We prove that, for any arbitrary finite alphabet and for the uniform distribution over deterministic and accessible automata with n states, the average complexity of Moore's state minimization algorithm is in O(n log n). Moreover this bound is tight in the case of unary utomata.

Domaines

Algorithme et structure de données [cs.DS] Complexité [cs.CC]
Fichier principal
Vignette du fichier
bassino_new.pdf (252.49 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00359162

Soumis le : vendredi 6 février 2009-10:35:36

Dernière modification le : jeudi 19 décembre 2024-16:50:03

Archivage à long terme le : jeudi 30 juin 2011-10:50:23

Télécharger pour visualiser

Dates et versions

inria-00359162 , version 1 (06-02-2009)

Identifiants

  • HAL Id : inria-00359162 , version 1
  • ARXIV : 0902.1048

Citer

Frédérique Bassino, Julien David, Cyril Nicaud. On the Average Complexity of Moore's State Minimization Algorithm. 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009, Feb 2009, Freiburg, Germany. pp.123-134. ⟨inria-00359162⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 ENPC CNRS UNIV-MLV LIGM_ALGO STACS2009 OCA PARISTECH LIGM LIGM_MOA LIPN GALILE SORBONNE-PARIS-NORD UNIV-EIFFEL ACT-R LIGM_BAAM
203 Consultations
235 Téléchargements

Altmetric

Partager

More