Regex_Equivalence

Automaton

Derivatives_Finite

Deriv_PDeriv

Deriv_Autos

Position_Autos

After2

Before2

Regex_Equivalence

Examples

Benchmark