digraph DFA {
    size="3,1" ;
    rankdir=LR ;
    start [style=invisible] ;
    q1    [shape=doublecircle] ;
    start -> q0 ;
    q0    -> q0 [label="0"] ;
    q0    -> q1 [label="1"] ;
    q1    -> q0 [label="0"] ;
    q1    -> q2 [label="1"] ;
    q2    -> q2 [label="0"] ;
    q2    -> q1 [label="1"] ;
}