Non-deterministic finite automaton

w =   F = 


    

    Logic

    
    

        

            
            0
            1
        

        

            > a
            a
            ab
        

        

             b
            c
            ϕ
        

        

            * c
            ϕ
            ϕ
        

    


    


    


    




Deterministic finite automaton


    w =   
    F = 

    


    

    Logic

    
    

        

            
            0
            1
        

        

            > D
            E
            D
        

        

             E
            F
            D
        

        

            * F
            F
            D