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>