Regal

Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 25/09/08
  • Correction mineure : 01/04/10

Regal : paquetage C++ pour la génération d'automates déterministes finis

Ce logiciel a été développé (ou est en cours de développement) dans la communauté de l'Enseignement Supérieur et de la Recherche. Son état peut être variable (cf champs ci-dessous) donc sans garantie de bon fonctionnement.
  • Site web
  • Système :
  • Version actuelle : REGAL v1.08.0501 - mai 2008
  • Licence(s) : GPL
  • Etat : en développement
  • Support : maintenu, développement en cours
  • Concepteur(s) : Julien David
  • Contact concepteur(s) : Julien.David @ univ-paris-est.fr
  • Laboratoire(s), service(s)... :

 

Fonctionnalités générales du logiciel

Regal est un paquetage C++ qui permet de générer des automates déterministes finis initialement connectés (ou ICDFAs) de manière exhaustive ou aléatoire, en utilisant un générateur de Boltzmann.

Il fournit à la communauté de recherche un outil qui permet de :

  • Tester une implémentation d'algorithme sur les automates.
  • Vérifier des propriétés sur les automates.
  • Faire des analyses en moyenne en vue d'établir des conjectures.
Contexte d’utilisation du logiciel

Regal a été utilisé pour comparer expérimentalement la complexité en moyenne des algorithmes de Hopcroft et Moore pour la minimisation d'automates [Bassino, David, Nicaud, 2007].

Publications liées au logiciel