French version English version
RDOS - Random Discrete Objects Suite
Regal - Deterministic Automaton

Generation aleatoire d'automates accessible basee sur la methode de Boltzmann. Site officiel: http://regal.univ-mlv.fr

Auteur(s): Julien David

Disponibilité: http://regal.univ-mlv.fr/

Références:

Frederique Bassino, Julien David, and Cyril Nicaud.
Random generation of possibly incomplete deterministic automata.
GASCom : Generation Aleatoire de Structure Combinatoire. June 2008. pp. 31-40.
Tester le générateur

Taille alphabet
Complet
Minimal
Format de sortie
Taille
Fortement Connexe
Nombre d automates
Email
Website Copyleft Yann Ponty & Julien David 2014