adjoin-dfa ( transition-table -- start end )

Vocabulary

regexp.negation

Inputs

transition-table

an object

Outputs

start	an object
end	an object

Definition

USING: accessors assocs kernel namespaces regexp.nfa sequences
sets ;

IN: regexp.negation

: adjoin-dfa ( transition-table -- start end )
    unify-final-state renumber-states box-transitions
    [ start-state>> ] [ final-states>> members first ] [
        nfa-table get [ transitions>> ] bi@ swap assoc-union!
        drop
    ] tri ;