bonjour à tous,
 
Travaillant sur la gestion d'automate en Java, j'ai trouvé une commande pour creer un gif à partir d'un fichier.
 
Exemple du fichier : tmp001.dot
 
Citation :
 
 digraph {
  rankdir=LR;
  init [shape=point];
  init->0;
    0 [shape=circle];
  1 [shape=circle];
  2 [shape=circle];
  3 [shape=doublecircle];
      0->1[label="i"];
  1->2[label="s"];
  2->3[label="a"];
 }
 
   | 
 
La commande linux : dot -Tgif -o tmp00.gif tmp00.dot && xv tmp00.gif
 
Et la magie :  
 
 
Voila en gros ce que je veux faire mais sous windows, j'espere etre au bon endroit 
 
Merci d'avance pour votre aide !