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.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element