dk.brics.自动机

这个Java包包含一个使用Unicode字母表(UTF16)的DFA/NFA(有限状态自动机)实现,并支持标准正则表达式操作(连接、联合、Kleene star)和许多非标准操作(交集、补码等),与许多其他automaton/regexp包相比,这个包速度很快,压缩,并实现真正的、不受限制的常规操作。它使用基于Unicode字符间隔的符号表示。