Gregex 逻辑

包含 Gregex crate 的底层逻辑。此 crate 负责将节点树转换为 NFA。然后使用 NFA 来匹配输入字符串。

该 crate 使用 Glushkov 构造算法 将节点树转换为 NFA。与 Thompson 构造算法相比的优势在于生成的 NFA 状态数等于终结符数加 1。尽管 Thompson 生成的 NFA 可以通过移除 ε 转移转换为 Glushkov 形式。

translation 模块包含将节点树转换为 NFA 的代码。 nfa 模块包含匹配输入字符串与 NFA 的代码。