Interesting. You say it supports substring capturing. Does it also
support backreferences? By which I mean, can you refer to the captured
substrings from within the pattern itself, as in the perl regex /(.)\1/?
Not unless he's proved that NP=P :-)
John.
