BRRE: an efficient, principled regular expression librarycode.google.com4 pointsnor-and-or-not14 years ago