Что такое “теговый DFA”?

Я столкнулся с библиотекой регулярных выражений http://laurikari.net/tre/ и также http://hackage.haskell.org/package/regex-tdfa, но я не мог найти, что что-либо об этом "отметило DFA" подход, который они используют: ни на страницах этих библиотек, ни в Google (incl.scholar).

Кто-либо знает то, о чем это?