Automaf : un système de construction d'automates synchronisés et de calcul de mesure du parallélisme
Institution:
Paris 11Disciplines:
Directors:
Abstract EN:
We present the building of a finite automata and concurrency measure software. To this end, the algorithm of intersection of regular languages is extended, and the computation technics for the Beauquier, Bérard and Thimonier's concurrency measure is improved. In a first part, we present the theoretical models used by the soft, and the new computing technics for the measure. Next, the used algorithms are described and commented on. Then, the internal structure of Automaf is described, and a user manual is joined. Finally, we present some execution examples, based on classical problems.
Abstract FR:
Nous présentons la construction d'un logiciel d'édition d'automates finis et de calcul de mesure du parallélisme. Dans ce but, l'algorithme du calcul de l'intersection de langages rationnels est étendu, et la technique de calcul de la mesure du parallélisme de Beauquier, Bérard et Thimonier est améliorée. Dans une première partie, nous précisons les modèles théoriques sur lesquels s'appuient l'implémentation et la nouvelle méthode de calcul de mesure. Ensuite, les algorithmes utilisés sont décrits et commentés. Puis la structure interne du logiciel Automaf est décrite, accompagnée d'un manuel d'utilisation. Nous donnons enfin quelques exemples de sessions, basés sur des problèmes classiques.