Regex “a”是什么；标记为“DFA”；？

我偶然发现了一个正则表达式库，也发现了一个正则表达式库，但我找不到关于他们使用的“标记DFA”方法的任何信息：既没有在这些库的页面上，也没有在google（包括scholar）中找到

有人知道这是关于什么的吗？

这是一篇论文：

---

，作者Ville Laurikari。

谢谢！顺便说一句，我刚刚发现了同样的论文，也是实际的论文：正则表达式的子匹配寻址Expressions@jkff：IIRC，Ville Laurikari在他以前的网站上有一个指向他的论文pdf的链接，但现在他没有。