digraph finite_state_machine {
    rankdir=LR;
    size="8,5"
    node [shape = doublecircle]; q_2,q_4;

     node [shape = none, label = ""]; INVISIBLENODE;
    node [shape = circle];

    q_0 [label ="Q0"];
        q_2 [ label="Q2" ];
    q_3 [ label="Q3" ];
    q_4 [ label="Q4" ];
    q_5 [ label="Q5" ];


 q_0-> q_2 [label = "1"];
INVISIBLENODE -> q_0
    q_2 -> q_2 [label = "1"];
    q_2 -> q_3 [label = "0"];
    q_3 -> q_3 [ label = "0"];
    q_3 -> q_2 [ label = "1"];
    q_0 -> q_4 [label ="0"];
    q_4->q_4 [label = "0"];
    q_4->q_5 [label = "1"];
    q_5->q_5 [label = "1"];
    q_5->q_4 [label = "0"];

}