ASTL

Fiche dév Ens Sup - Recherche
  • Création ou MAJ importante : 25/09/13
  • Correction mineure : 26/09/13

ASTL : librairie de manipulation d'automates écrite en C++

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 : 3.0 - 2013
  • Licence(s) : LGPL - v2
  • Etat : diffusé, stable
  • Support : non maintenu, développement en cours
  • Concepteur(s) : Dominique Revuz, Vincent Le Maout
  • Contact concepteur(s) : dominique.revuz @ univ-mlv.fr
  • Laboratoire(s), service(s)... :

 

Fonctionnalités générales du logiciel

La librairie ASTL propose des implémentations variées d'automates, en particulier des automates acycliques de stockage de dictionnaires et des automates permettant de faire de la recherche de motifs en particulier une implémentation de Aho et Corasick.

Contexte d’utilisation du logiciel

Recherche (voir les publications citées ci-dessous) et enseignement.

Publications liées au logiciel

  • Vincent Le Maout, Tools to implement automata, a first step: ASTL, Lecture Notes in Computer Science, Vol. 1436 1998, Automata Implementation - Second International Workshop on Implementing Automata, WIA'97, pp. 104-108.

  • Dominique Revuz, Operations on extended automata, Lecture Notes in Computer Science, Vol. 1436 1998, Automata Implementation - Second International Workshop on Implementing Automata, WIA'97, pp. 171-175.

  • Vincent Le Maout, Expérience de programmation générique sur des structures non-séquentielles : les automates. Thèse de doctorat, Université de Marne-la-Vallée, 2003.