/*

:Title: Automata
:Tags: TikZ, topath, tikzedgelabels

An example of how to use TikZ' automata libray and to paths to
create a pretty state machine. 

Generated with::

	$ neato -Txdot tikzautomata.dot | dot2tex -ftikz > tikzautomata.tex

*/
digraph G {
    d2ttikzedgelabels = true;
    d2tstyleonly = true;
    d2tdocpreamble = "\usetikzlibrary{automata}";
    d2tfigpreamble = "\tikzstyle{every state}= \
    [draw=blue!50,very thick,fill=blue!20]";
    node [style="state"];
    edge [lblstyle="auto",topath="bend left"];
    A [style="state, initial"];
    A -> B [label=2];
    A -> D [label=7];
    B -> A [label=1];
    B -> B [label=3,topath="loop above"];
    B -> C [label=4];
    C -> F [label=5];
    F -> B [label=8];
    F -> D [label=7];
    D -> E [label=2];
    E -> A [label="1,6"];
    F [style="state,accepting"];
}