AUTOMATE

Automate est un programme qui permet de définir des automates finis, déterministes ou non, d'en simuler le fonctionnement, de faire les opérations usuelles avec: déterminiser, minimiser, calculer une expression rationnelle du langage associé, inversement de calculer un automate à partir d'une expression; il permet également de les sauvegarder sur disque et de les relire ensuite.

Tout cela se fait à la souris en ayant juste à taper les caractères correspondant aux transitions.

Automate est écrit avec OCaml pour la partie calcul sur les automates et avec C++Builder pour la partie interface Windows et tourne sous Windows 95 ou Windows NT (je n'ai pas essayé sous Windows 3 + win32).

Après avoir téléchargé le fichier autom.zip, il suffit de le dézipper dans le répertoire que l'on veut. L'utilisation est simple, voir l'aide en ligne.

Télécharger Autom.zip

Envoyez vos remarques, bonnes ou mauvaises, à hubert.fauque@inria.fr