文件名称：FormalTheory:PHP中的正则表达式（Regex），非确定性有限自动机（NFA）和确定性有限自动机（DFA）实现
文件大小：50KB
文件格式：ZIP
更新时间：2024-06-06 09:38:40
PHP
形式理论 FormalTheory是一个允许对NFA，DFA和正则表达式进行操作和转换的库。 它包括的一些功能包括： 正则表达式乐兴（AST） 正则表达式到NFA的转换 NFA到DFA转换（确定） DFA最小化 DFA解决方案计数 足协平等 FA超集/子集测试 FA适当的超集/子集测试 英足总有一个有效的解决方案 FA打印 FA导出为DOT FA字符串匹配 FA交叉路口 足总工会 FA否定 FA反向 FA到Regex的转换（基本） 重型单元测试范围 现代自动加载支持 通过规则进行正则表达式优化 注意：FA是DFA或NFA 即将推出:trade_mark: 通过突变进行正则表达式优化 基于正/负匹配列表的广义DFA求解
【文件预览】：
FormalTheory-master
----README.md(935B)
----test()
--------Tests()
--------bootstrap.php(119B)
----LICENSE(1KB)
----composer.json(753B)
----phpunit.xml.dist(527B)
----.travis.yml(67B)
----lib()
--------FormalTheory()