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.
Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 25/09/08
  • Correction mineure : 01/04/10
  • Auteur de la fiche : Teresa Gomez-Diaz (LIGM)
  • Responsable thématique : Violaine Louvet (Institut Camille Jordan)
Mots-clé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