disambiguate ( nfa -- nfa )

Vocabulary

regexp.disambiguate

Inputs

nfa

an object

Outputs

nfa

an object

Definition

USING: accessors assocs kernel regexp.ast
regexp.transition-tables ;

IN: regexp.disambiguate

: disambiguate ( nfa -- nfa )
    expand-ors [
        dup new-transitions [
            swap [ get-transitions ] curry assoc-map
            harvest-values
        ] curry [
            [ [ tagged-epsilon? ] filter-keys ] bi
            H{ } assoc-union-as
        ] curry assoc-map
    ] change-transitions ;