通过 
搜索
搜索witrin /formal-theory
FormalTheory 是一个库，允许对非确定有限自动机 (NFA)、确定有限自动机 (DFA) 和正则表达式进行操作和转换。
1.1.0
2016-11-26 02:51 UTC
Requires
- php: >=5.3.0
This package is not auto-updated.
Last update: 2024-09-23 14:13:12 UTC
README
FormalTheory 是一个库，允许对非确定有限自动机 (NFA)、确定有限自动机 (DFA) 和正则表达式进行操作和转换。它包括以下功能：
- 正则表达式词法分析 (AST)
- 将正则表达式转换为 NFA
- 将 NFA 转换为 DFA (确定化)
- DFA 最小化
- DFA 求解计数
- FA 相等
- FA 超集/子集测试
- FA 正确超集/子集测试
- FA 有有效解
- FA 打印
- FA 导出为 DOT
- FA 字符串匹配
- FA 交集
- FA 并集
- FA 否定
- FA 反转
- FA 转换为正则表达式 (基本)
- 高度单元测试覆盖率
- 现代自动加载支持
- 通过规则优化正则表达式
注意：FA 是 DFA 或 NFA
即将推出™
- 通过变异优化正则表达式
- 基于正/负匹配列表的通用 DFA 求解