什么是"标记DFA"?

jkf*_*kff 6 regex language-agnostic algorithm data-structures

我遇到了一个正则表达式库http://laurikari.net/tre/以及http://hackage.haskell.org/package/regex-tdfa,但是我找不到任何有关这种"标记DFA"方法的信息.正在使用:既不在这些库的页面上,也不在谷歌(incl.scholar).

有谁知道它是什么?