I came across a regular expression library http://laurikari.net/tre/ and also http://hackage.haskell.org/package/regex-tdfa , but I could not find anything about this "tagged DFA" approach that they are using: neither on the pages of these librari开发者_如何学编程es, nor in google (incl.scholar).
Anyone know what it is about?
Here is a paper:
NFAs with Tagged Transitions, their Conversion to Deterministic Automata and Application to Regular Expressions (2000) [PDF], written by Ville Laurikari.
精彩评论