Я столкнулся с библиотекой регулярных выражений http://laurikari.net/tre/, а также http://hackage.haskell.org/package/regex-tdfa, но я не смог найти ничего об используемом ими подходе с "теговым DFA": ни на страницах этих библиотек , ни в гугле (вкл. школьный).
Кто-нибудь знает, о чем речь?
Вот статья:
NFA с помеченными переходами, их преобразование в детерминированные автоматы и применение к регулярным выражениям (2000) [PDF] , написанный Вилле Лаурикари.