inverse-final-states ( transition-table -- final-states )

Vocabulary

regexp.negation

Inputs

transition-table

an object

Outputs

final-states

an object

Definition

USING: accessors assocs kernel sets ;

IN: regexp.negation

: inverse-final-states ( transition-table -- final-states )
    [ transitions>> keys ] [ final-states>> ] bi diff fast-set ;