Rust 自动机操作库项目。

功能

该库允许构建自动机（DFA 和 NFA）和正则表达式。

它还提供了对这些结构的大量经典算法，并允许相互转换。

实现算法

• 两个自动机的并集
• 两个自动机的交集
• 两个自动机的等价
• 两个自动机的连接
• 自动机的补集
• 自动机的最小化
• 自动机的Kleene闭包
• 自动机的确定化
• 完整的自动机
• 可达自动机
• 对偶可达自动机
• 修剪后的自动机
• 反转自动机

显示

正则表达式可以以字符串的形式显示，但“简化”功能并不神奇，因此它生成的正则表达式非常长。

自动机可以导出为 .dot 文件。

错误

这个库尚未经过密集测试，因此我不建议将其用于过于重要的用途。

如果您发现错误或任何异常，请毫不犹豫地在 GitHub 页面 上打开一个问题或拉取请求。