digraph NFA {
    rankdir=LR ;

    subgraph clustrer1 {
        start [style=invisible] ;
        start -> q0 ;
        q0    -> q1 [label="1"] ;
        q1    -> q2 [label=<0,&lambda;>] ;
    }

    subgraph cluster2 {
        style=invisible ;
        q3    -> q3 [label="1", tailport="s", headport="s"]
    }
    
    q3    -> q2 [label="0"] ;
    q3    -> q1 [label="1"] ;
    q0    -> q3 [label="0"] ;
    q2    -> q3 [label=<1,&lambda;>] ;
}