REGAL

REGAL: A library to randomly and exhaustively generate automata. The C++ library REGAL is devoted to the random and exhaustive generation of finite deterministic automata. The random generation of automata can be used for example to test properties of automata, to experimentally study average complexities of algorithms dealing with automata or to compare different implementations of the same algorithm. The exhaustive generation allows one to check conjectures on small automata.


References in zbMATH (referenced in 18 articles , 1 standard article )

Showing results 1 to 18 of 18.
Sorted by year (citations)

  1. Antonopoulos, Timos; Geerts, Floris; Martens, Wim; Neven, Frank: Generating, sampling and counting subclasses of regular tree languages (2013)
  2. Bassino, Frédérique; David, Julien; Nicaud, Cyril: Average case analysis of Moore’s state minimization algorithm (2012)
  3. Carayol, Arnaud; Nicaud, Cyril: Distribution of the number of accessible states in a random deterministic automaton (2012)
  4. David, Julien: Average complexity of Moore’s and Hopcroft’s algorithms (2012)
  5. Héam, Pierre-Cyrille; Hugot, Vincent; Kouchnarenko, Olga: Loops and overloops for tree-walking automata (2012)
  6. Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain: Parametric random generation of deterministic tree automata (2010)
  7. Bassino, Frédérique; David, Julien; Nicaud, Cyril: On the average complexity of Moore’s state minimization algorithm (2009)
  8. Böhning, Dankmar; van der Heijden, Peter: Recent developments in life and social science applications of capture-recapture methods (2009)
  9. Brittain, Sarah; Böhning, Dankmar: Estimators in capture-recapture studies with two sources (2009)
  10. Dadeau, Frédéric; Levrey, Jocelyn; Héam, Pierre-Cyrille: On the use of uniform random generation of automata for testing (2009)
  11. Héam, Pierre-Cyrille; Nicaud, Cyril; Schmitz, Sylvain: Random generation of deterministic tree (walking) automata (2009)
  12. Bassino, F.; David, J.; Nicaud, C.: Enumeration and random generation of possibly incomplete deterministic automata (2008)
  13. Bassino, Frédérique; David, Julien; Nicaud, Cyril: REGAL: A library to randomly and exhaustively generate automata (2007)
  14. Hat, Beata; Paszek, Pawel; Kimmel, Marek; Piechor, Kazimierz; Lipniacki, Tomasz: How the number of alleles influences gene expression (2007)
  15. Silverman, Mark P.: Condensates in the cosmos: Quantum stabilization of the collapse of relativistic degenerate stars to black holes (2007)
  16. Böhning, Dankmar; Dietz, Ekkehart; Kuhnert, Ronny; Schön, Dieter: Mixture models for capture-recapture count data (2005)
  17. Neri, Filippo: A study on the effect of cooperative evolution on concept learning (2001)
  18. Giordana, A.; Neri, F.; Saitta, L.; Botta, M.: Integrating multiple learning strategies in first order logics (1997)