digraph finite_state_machine {
        edge     [constraint=false]
        start -> 0 [constraint=true]
        0 -> 1
        1 -> 2
        2 -> 3
        2 -> 4
        3 -> 5
        4 -> 5
        4 -> 0
        5 -> 1
}