Random Generation of Deterministic Acyclic Automata Using the Recursive Method
Résumé
In this article, we propose a uniform random generator for accessible deterministic acyclic automata with n states, which is based on the recursive method. The generator has a preprocessing that requires O(n3) arithmetic operations, and, once it is done, can generate acyclic automata using O(n) arithmetic operations for each sample. We also propose a lazy version of the algorithm that takes advantage of the typical shape of random acyclic automata to reduce experimentally the preprocessing. Using this algorithm, we provide some statistics on acyclic automata with up to 1000 states.
Domaines
Mathématique discrète [cs.DM]
Fichier principal
Random_Generation_of_Deterministic_Acyclic_Automata_Using_the_Recursive_Method.pdf (205.2 Ko)
Télécharger le fichier
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...