REGAL: a library to randomly and exhaustively generate automata

Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

https://hal.archives-ouvertes.fr/hal-00459643
Contributor : Frédérique Bassino <>
Submitted on : Wednesday, February 24, 2010 - 3:41:06 PM
Last modification on : Thursday, February 7, 2019 - 5:47:45 PM
Long-term archiving on: Friday, June 18, 2010 - 9:53:09 PM

File

bdn2007.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00459643, version 1

Citation

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. ⟨hal-00459643⟩

Share

Metrics

Record views

425

Files downloads

258