  
  [1m[4m[31mB. Drawing automata[0m
  
  The  drawing  of graphs described here uses [22m[32mgraphviz[0m [DE+02], a software for
  drawing  graphs  developed  at  AT  &  T  Labs,  that  can  be  obtained  at
  [22m[32mhttp://www.graphviz.org/[0m.
  
  
  [1m[4m[31mB.1 Installing some external programs[0m
  
  If you work under [22m[32mLINUX[0m, you should install [22m[32mgraphviz[0m.
  
  
  [1m[4m[31mB.2 Functions to draw automata[0m
  
  [1m[4m[31mB.2-1 DrawAutomaton[0m
  
  [1m[34m> DrawAutomaton( [0m[22m[34mA[, file][0m[1m[34m ) _______________________________________[0mfunction
  
  This function draws automaton [22m[32mA[0m.
  
  [22m[35m---------------------------  Example  ----------------------------[0m
    [22m[35mgap> x:=Automaton("det",3,2,[ [ 2, 3, 0 ], [ 0, 1, 2 ] ],[ 1 ],[ 1, 2, 3 ]);;[0m
    [22m[35mgap> DrawAutomaton(x,"exx");[0m
    [22m[35mDisplaying file: /tmp/tmp.LKoc7O/exx.dot.ps[0m
  [22m[35m------------------------------------------------------------------[0m
  
  The output would be the following diagram displayed in a [22m[36mghostview[0m window.
  
  [1m[4m[31mB.2-2 DrawAutomata[0m
  
  [1m[34m> DrawAutomata( [0m[22m[34mA, B[, file][0m[1m[34m ) _____________________________________[0mfunction
  
  This  function tests if automaton [22m[32m A [0m is a subautomaton of [22m[32m B [0m in which case
  draws  [22m[32m  B  [0m  highlighting  the edges not in [22m[32m A [0m by drawing them in a dotted
  style, while the others are drawn in a plain style.
  
  [1m[4m[31mB.2-3 DrawGraph[0m
  
  [1m[34m> DrawGraph( [0m[22m[34mG[, file][0m[1m[34m ) ___________________________________________[0mfunction
  
  Draws a graph specified as an adjacency list [22m[32mG[0m.
  
  [1m[4m[31mB.2-4 DrawSCCAutomaton[0m
  
  [1m[34m> DrawSCCAutomaton( [0m[22m[34mA[, file][0m[1m[34m ) ____________________________________[0mfunction
  
  Draws  automaton  [22m[32m  A  [0m and highlights it's strongly connected components by
  drawing the other edges in a dotted style.
  
