<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html><head>
<title>GAP (AutMan) - Chapter 8:
Drawing automata
</title>
<meta http-equiv="content-type" content="text/html; charset=iso-8859-1">
<meta name="generator" content="GAPDoc2HTML">
<link rel=stylesheet type="text/css" href="manual.css">
</head>
<body>
<div class="pcenter"><table class="chlink"><tr><td class="chlink1">Goto Chapter: </td><td><a href="chap0.html">Top</a></td><td><a href="chap1.html">1</a></td><td><a href="chap2.html">2</a></td><td><a href="chap3.html">3</a></td><td><a href="chap4.html">4</a></td><td><a href="chap5.html">5</a></td><td><a href="chap6.html">6</a></td><td><a href="chap7.html">7</a></td><td><a href="chap8.html">8</a></td><td><a href="chap9.html">9</a></td><td><a href="chapBib.html">Bib</a></td><td><a href="chapInd.html">Ind</a></td></tr></table><br></div>
<p><a name="s0ss0"></a></p>
<h3>8.
Drawing automata
</h3>
<p>The drawing of graphs described here uses <code class="code"> graphviz </code> , a software for drawing graphs developed at AT & T Labs, that can be obtained at <code class="code"> http://www.research.att.com/sw/tools/graphviz/ </code> .</p>
<p><a name="s1ss0"></a></p>
<h4>8.1
Installing some external programs
</h4>
<p>If you work under <code class="code"> LINUX </code> , you should install graphviz and create the directory <code class="code"> ~ /dot-tmp </code> .</p>
<p><a name="s2ss0"></a></p>
<h4>8.2
Functions to draw automata
</h4>
<p><a name="s2ss1"></a></p>
<h5>8.2-1 DrawAutomaton</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> DrawAutomaton</code>( <var>A[, file]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>This function draws automaton <code class="code"> A </code> writing the needed data in file ~ /dot-tmp/file.</p>
<p><a name="s2ss2"></a></p>
<h5>8.2-2 DrawAutomata</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> DrawAutomata</code>( <var>A, B[, file]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>This function tests if automaton <code class="code"> A </code> is a subautomaton of <code class="code"> B </code> in which case draws <code class="code"> B </code> highlighting the edges not in <code class="code"> A </code> 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.</p>
<p><a name="s2ss3"></a></p>
<h5>8.2-3 DrawGraph</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> DrawGraph</code>( <var>G[, file]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Draws a graph specified as an adjacency list <code class="code"> G </code> and writes the needed data in file ~ /dot-tmp/file.</p>
<p><a name="s2ss4"></a></p>
<h5>8.2-4 DrawSCCAutomaton</h5>
<div class="func"><table class="func" width="100%"><tr><td class="tdleft"><code class="func">> DrawSCCAutomaton</code>( <var>A[, file]</var> )</td><td class="tdright">( function )</td></tr></table></div>
<p>Draws automaton <code class="code"> A </code> 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.</p>
<div class="pcenter">
<table class="chlink"><tr><td><a href="chap0.html">Top of Book</a></td><td><a href="chap7.html">Previous Chapter</a></td><td><a href="chap9.html">Next Chapter</a></td></tr></table>
<br>
<div class="pcenter"><table class="chlink"><tr><td class="chlink1">Goto Chapter: </td><td><a href="chap0.html">Top</a></td><td><a href="chap1.html">1</a></td><td><a href="chap2.html">2</a></td><td><a href="chap3.html">3</a></td><td><a href="chap4.html">4</a></td><td><a href="chap5.html">5</a></td><td><a href="chap6.html">6</a></td><td><a href="chap7.html">7</a></td><td><a href="chap8.html">8</a></td><td><a href="chap9.html">9</a></td><td><a href="chapBib.html">Bib</a></td><td><a href="chapInd.html">Ind</a></td></tr></table><br></div>
</div>
<hr>
<p class="foot">generated by GAPDoc2HTML</p>
</body>
</html>
distrib
>
Mandriva
>
2010.0
>
i586
>
media
>
contrib-release
>
by-pkgid
>
5e1854624d3bc613bdd0dd13d1ef9ac7
>
files
>
838
