swMATH ID: 791
Software Authors: Bassino, Frédérique; David, Julien; Nicaud, Cyril
Description: 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.
Homepage: http://regal.univ-mlv.fr/
Programming Languages: C++
Keywords: finite automata; random generation; C++ library
Related Software: Antichains; carData; car; ToXgene; minpack
Referenced in: 18 Publications

Referencing Publications by Year