Example: State machine

  • Created 2007-06-29

This state machine is based on an example from the PGF and TikZ manual. The original looks much better. For small graphs you usually get better looking results by drawing them manually.

Generated with:

$ dot2tex -tmath --autosize --crop automata.dot > automata.tex

Download as: [PDF] [DOT] [TEX]

State machine 
digraph automata {
    rankdir=LR;
    node [shape=circle];
    edge [style=">=stealth',shorten >=1pt"];
    q_a [shape=doublecircle];
    q_a -> q_b [label="0,1,L"];
    q_b -> q_b [label="1,1,L"];
    q_b -> q_c [label="0,1,L"];
    q_c -> q_e [label="1,0,R"];
    q_e -> q_a [label="1,0,R"];
    q_a -> q_c [label="1,1,R"];
    q_c -> q_d [label="0,1,L"];
    q_d -> q_d [label="1,1,R"];
    q_d -> q_a [label="0,1,R"];
}