  
  [1m[4m[31m8. Drawing automata[0m
  
  The  drawing  of  graphs  described  here  uses  [22m[32m graphviz [0m , a software for
  drawing  graphs  developed  at  AT  &  T  Labs,  that  can  be  obtained at [22m[32m
  http://www.research.att.com/sw/tools/graphviz/ [0m .
  
  
  [1m[4m[31m8.1 Installing some external programs[0m
  
  If  you  work  under  [22m[32m  LINUX  [0m , you should install graphviz and create the
  directory [22m[32m ~ /dot-tmp [0m .
  
  
  [1m[4m[31m8.2 Functions to draw automata[0m
  
  [1m[4m[31m8.2-1 DrawAutomaton[0m
  
  [1m[34m> DrawAutomaton( [0m[22m[34mA[, file][0m[1m[34m ) _______________________________________[0mfunction
  
  This  function  draws  automaton  [22m[32m  A  [0m  writing  the  needed data in file ~
  /dot-tmp/file.
  
  [1m[4m[31m8.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 and writes the needed
  data in file ~ /dot-tmp/file.
  
  [1m[4m[31m8.2-3 DrawGraph[0m
  
  [1m[34m> DrawGraph( [0m[22m[34mG[, file][0m[1m[34m ) ___________________________________________[0mfunction
  
  Draws  a graph specified as an adjacency list [22m[32m G [0m and writes the needed data
  in file ~ /dot-tmp/file.
  
  [1m[4m[31m8.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  their  edges  in  a  dotted  style  and their vertices in a lighter
  colour. Writes the needed data in file ~ /dot-tmp/file.
  
