unify-final-state ( transition-table -- transition-table )

Vocabulary

regexp.negation

Inputs

transition-table

an object

Outputs

transition-table

an object

Definition

USING: accessors kernel regexp.ast regexp.transition-tables
sequences sets ;

IN: regexp.negation

: unify-final-state ( transition-table -- transition-table )
    dup [ final-states>> members ] keep [ [ -2 epsilon ] ] dip
    [ set-transition ] curry compose each
    HS{ -2 } clone >>final-states ;