Me encontré con una biblioteca de expresiones regulares http://laurikari.net/tre/ y también http://hackage.haskell.org/package/regex-tdfa, pero no pude encontrar nada acerca de este enfoque "DFA etiquetado" que están utilizando: ni en las páginas de estas bibliotecas, ni en google (incl.scholar).¿Qué es un "DFA etiquetado"?
¿Alguien sabe de qué se trata?
Gracias! Por cierto, acabo de encontrar el mismo documento y también la tesis real: Efficient Submatch Addressing for Regular Expressions – jkff
@jkff: IIRC, Ville Laurikari tenía en su sitio anterior un enlace a su tesis en PDF, pero ahora no lo hace. –