Kladd

<graphviz dot right 500×200> digraph finite_state_machine {

rankdir=I;
size="9,5"
node [shape = doublecircle]; I;
node [shape = circle];
I -> II [ label = "" ];
I -> III [ label = "" ];
I -> IV [ label = "" ];
I -> V [ label = "" ];
I -> VI [ label = "" ];
I -> VII [ label = "" ];
I -> iiim7b5 [ label = "" ];
I -> #IVm7b5 [ label = "" ];
I -> #Idim7 [ label = "" ];

} </graphviz>