[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.