 |
|
|
|
| HAL : hal-00430483, version 1 |
| Fiche détaillée |  Récupérer au format |
|
|
| 26th International Symposium on Theoretical Aspects of Computer Science (STACS 2009), Freiburg : Allemagne (2009) |
|
|
|
|
| On the Average Complexity of Moore's State Minimization Algorithm |
|
|
| Frédérique Bassino 1Julien David 2 |
|
|
| (2009) |
|
|
|
| We prove that, for any arbitrary finite alphabet, the average complexity of Moore's state minimization algorithm is in O(n log n) and that this bound is tight in the case of unary automata. |
|
|
|
|
|
|
|
|
|
|
|
| 1 : | Laboratoire d'informatique de Paris-nord (LIPN) |
|
|
|
CNRS : UMR7030 – Université Paris XIII - Paris Nord |
|
|
| 2 : | Laboratoire d'informatique Gaspard-Monge [Marne-la-Vallée] (LIGM) |
|
|
|
CNRS – Université Paris Est Marne-la-Vallée – Ecole des Ponts ParisTech – ESIEE |
|
|
|
|
|
|
|
|
|
| Domaine | : | Informatique/Mathématique discrète |
| hal-00430483, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00430483 | |
| oai:hal.archives-ouvertes.fr:hal-00430483 | |
| Contributeur : Cyril Nicaud | |
| Soumis le : Samedi 7 Novembre 2009, 13:10:21 | |
| Dernière modification le : Lundi 12 Avril 2010, 22:33:24 | |
