initially-same? ( s1 s2 transition-table -- ? )

Vocabulary

regexp.minimize

Inputs

s1	an object
s2	an object
transition-table	an object

Outputs

?

an object

Definition

USING: accessors assocs combinators.short-circuit kernel math
sets ;

IN: regexp.minimize

: initially-same? ( s1 s2 transition-table -- ? )
    {
        [ drop <= ]
        [ final-states>> [ in? ] curry bi@ = ]
        [ transitions>> [ at keys ] curry bi@ set= ]
    } 3&& ;