Next: Compression de
données Up: Home
Page Previous: Livres
et articles
Je dirige un projet dont l'objectif est d'obtenir un véritable outil de manipulation d'automates avec saisie et représentation des automates sous diverses formes (expressions rationnelles, tables de transitions, graphes, etc.) et implantant toutes les opérations connues sur les automates (opérations booléennes, émondage, déterminisation, minimisation, résiduels, produit de mélange, produit de concaténation, étoile, etc.). Ce logiciel sera complété par divers outils permettant le calcul des semigroupes finis, l'étude fine des langages rationnels, et la manipulation de formules de logique sur les ordres linéaires et de logique temporelle. J.M. Champarnaud et G. Hansel ont réalisé la première partie de ce logiciel. Il permet de calculer des automates de plusieurs milliers d'états sur 2 lettres en moins d'une minute et de calculer des semigroupes de plus de 5000 éléments en moins de 5 minutes. Le logiciel a été développé en C et a été porté avec succès sur de nombreuses machines UNIX et présenté dans plusieurs manifestations (dont la foire internationale de Hanovre, le CeBIT, en avril 1992). Ce projet doit faire l'objet d'une collaboration internationale (avec l'Université de Lincoln (USA) et de Kiel (Allemagne) notamment.