Goto Chapter: | Top | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | Bib | Ind

### 8. Drawing automata

The drawing of graphs described here uses `graphviz` , a software for drawing graphs developed at AT & T Labs, that can be obtained at `http://www.research.att.com/sw/tools/graphviz/` .

#### 8.1 Installing some external programs

If you work under `LINUX` , you should install graphviz and create the directory `~ /dot-tmp` .

#### 8.2 Functions to draw automata

##### 8.2-1 DrawAutomaton

`> DrawAutomaton`( A[, file] ) | ( function )

This function draws automaton `A` writing the needed data in file ~ /dot-tmp/file.

##### 8.2-2 DrawAutomata

`> DrawAutomata`( A, B[, file] ) | ( function )

This function tests if automaton `A` is a subautomaton of `B` in which case draws `B` highlighting the edges not in `A` 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.

##### 8.2-3 DrawGraph

`> DrawGraph`( G[, file] ) | ( function )

Draws a graph specified as an adjacency list `G` and writes the needed data in file ~ /dot-tmp/file.

##### 8.2-4 DrawSCCAutomaton

`> DrawSCCAutomaton`( A[, file] ) | ( function )

Draws automaton `A` 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.

Top of Book | Previous Chapter | Next Chapter

Goto Chapter: | Top | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | Bib | Ind

generated by GAPDoc2HTML