digraph NFA {
    rankdir=LR ;
    start [style=invisible] ;
    start -> q0 ;
    q0    -> q1 [label="1"] ;
    q1    -> q2 [label=<0,&lambda;>] ;
    q0    -> q3 [label="0"] ;
    q2    -> q3 [label=<1,&lambda;>] ;
    q3    -> q1 [label="1"] ;
    q3    -> q2 [label="0"] ;
    q3    -> q3 [label="1"] ;
}