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 _ set-transition ] each
    HS{ -2 } clone >>final-states ;