new-transitions ( nfa dfa new-states visited-states -- nfa dfa )

Vocabulary

regexp.dfa

Inputs

nfa	an object
dfa	an object
new-states	an object
visited-states	an object

Outputs

nfa	an object
dfa	an object

Definition

USING: accessors regexp.transition-tables sequences ;

IN: regexp.dfa

:: new-transitions
    ( nfa dfa new-states visited-states -- nfa dfa )
    new-states
    [ nfa dfa ] [
        pop :> state state dfa transitions>> ensure-state
        state nfa find-transitions [| trans |
            state trans nfa find-closure
            :> new-state new-state visited-states new-states
            add-todo-states
            state new-state trans dfa set-transition
        ] each nfa dfa new-states visited-states new-transitions
    ] if-empty ;