REGAL: a library to randomly and exhaustively generate automata

Bassino, Frédérique
David, Julien
Nicaud, Cyril

Open link

Publication date

July 2007

DOI

10.1007/978-3-540-76336-9_28

Publisher

Springer Science and Business Media LLC

Abstract

International audienceThis 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

Extracted data

We use cookies to provide a better user experience.

Data Protection

REGAL: a library to randomly and exhaustively generate automata

Abstract

Extracted data

REGAL: a library to randomly and exhaustively generate automata

Abstract

Extracted data

Related items

Related items