> Alternative title: you can use regex derivatives... This is particularly confusing because you mean "derivative" in the sense of "etymologically/conceptually

> Alternative title: you can use regex derivatives... This is particularly confusing because you mean "derivative" in the sense of "etymologically/conceptually related", but there is actually a (formal) notion of the derivative of a regular expression.