REGAL: a library to randomly and exhaustively generate automata - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

REGAL: a library to randomly and exhaustively generate automata

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é

This paper presents a library devoted to the random and exhaustive generation of finite deterministic automata. This package provides a toolkit to experimentally study properties of automata, average complexities of algorithms dealing with automata or to compare different implementations of the same algorithm.

Mots clés

random generation automata

Domaines

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

Frédérique Bassino  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00459643

Soumis le : mercredi 24 février 2010-15:41:06

Dernière modification le : jeudi 16 mai 2024-15:00:04

Archivage à long terme le : vendredi 18 juin 2010-21:53:09

Télécharger pour visualiser

Dates et versions

hal-00459643 , version 1 (24-02-2010)

Identifiants

Citer

Frédérique Bassino, Julien David, Cyril Nicaud. REGAL: a library to randomly and exhaustively generate automata. 12th International Conference on Implementation and Application of Automata (CIAA'07), Jul 2007, Prague, Czech Republic. pp.303-305., ⟨10.1007/978-3-540-76336-9_28⟩. ⟨hal-00459643⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS13 ENPC CNRS UNIV-MLV LIGM_ALGO PARISTECH LIGM LIPN GALILE SORBONNE-PARIS-NORD UNIV-EIFFEL ACT-R
247 Consultations
246 Téléchargements

Altmetric

Partager

More