3 ms·
Indeed. And in the regex crate and RE2, for example, captures are only implemented in the "NFA" engines (specifically, the PikeVM and the bounded backtracker).
by burntsushi 6y ago
Indeed. And in the regex crate and RE2, for example, captures are only implemented in the "NFA" engines (specifically, the PikeVM and the bounded backtracker). So if you support captures, then those engines have to be able to support everything.
- tsegratis 6y agoCan I ask; what about a zdd? The seem similar to closed languages with a disjunct and conjunct Though I don't think I will, I was considering adding zdd or bdd to a PEG, to provide that conjunct ofc, sat solver can represent a regex with conjuncts, but is this a good way of going about it, particularly with unbounded strings?? Would love to hear your thoughts on that