Accessible and Deterministic Automata: Enumeration and Boltzmann Samplers - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2006

Accessible and Deterministic Automata: Enumeration and Boltzmann Samplers

Résumé

We present a bijection between the set An of deterministic and accessible automata with n states on a k-letters alphabet and some diagrams, which can themselves be represented as partitions of the set [[ 1..(kn + 1) ]] into n nonempty parts. This combinatorial construction shows that the asymptotic order of the cardinality of An is related to the Stirling number { kn n }. Our bijective approach also yields an efficient random sampler of automata with n states, of complexity O(n 3/2 ), using the framework of Boltzmann samplers.
Fichier principal
Vignette du fichier
hal.pdf (134.89 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00619870 , version 1 (03-10-2011)
hal-00619870 , version 2 (17-08-2015)

Identifiants

  • HAL Id : hal-00619870 , version 1

Citer

Frédérique Bassino, Cyril Nicaud. Accessible and Deterministic Automata: Enumeration and Boltzmann Samplers. International Colloquium on Mathematics and Computer Science 2006, 2006, France. pp.151-160. ⟨hal-00619870v1⟩
145 Consultations
1171 Téléchargements

Partager

More