HAL : hal-00716558, version 1

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Theoretical Computer Science (2012) to appear

A new dichotomic algorithm for the uniform random generation of words in regular languages (journal version)

Johan Oudinet 1, Alain Denise 1, 2, 3, Marie-Claude Gaudel 1

(10/07/2012)

We present a new algorithm for generating uniformly at random words of any regular language $\mathcal{L}$. When using floating point arithmetics, its bit-complexity is $\mathcal{O}(q \log^2 n)$ in space and $\mathcal{O}(q n \log^2 n)$ in time, where $n$ stands for the length of the word, and $q$ stands for the number of states of a finite deterministic automaton of $\mathcal{L}$. We implemented the algorithm and compared its behavior to the state-of-the-art algorithms, on a set of large automata from the VLTS benchmark suite. Both theoretical and experimental results show that our algorithm offers an excellent compromise in terms of space and time requirements, compared to the known best alternatives. In particular, it is the only method that can generate long paths in large automata.

1 :	Laboratoire de Recherche en Informatique (LRI)
	CNRS : UMR8623 – Université Paris XI - Paris Sud
2 :	AMIB (INRIA Saclay - Ile de France)
	INRIA – Polytechnique - X – CNRS : UMR8623 – Université Paris XI - Paris Sud
3 :	Institut de génétique et microbiologie (IGM)
	CNRS : UMR8621 – Université Paris XI - Paris Sud

Domaine

:

Informatique/Algorithme et structure de données Informatique/Théorie et langage formel Mathématiques/Combinatoire

Mots Clés : random generation – regular languages – automata

hal-00716558, version 1

http://hal.archives-ouvertes.fr/hal-00716558

oai:hal.archives-ouvertes.fr:hal-00716558

Contributeur : Alain Denise <>

Soumis le : Mardi 10 Juillet 2012, 22:55:47

Dernière modification le : Mercredi 11 Juillet 2012, 09:48:52