c01l/formal-theory

FormalTheory 是一个库，允许操作和转换非确定有限自动机（NFA）、确定有限自动机（DFA）和正则表达式。

维护者

详细信息

github.com/c01l/FormalTheory

主页

源码

安装: 24

依赖项: 0

建议者: 0

安全性: 0

星标: 0

关注者: 0

分支: 4

2.3.0 2021-11-10 15:03 UTC

Requires

  • php: >=7.3

Requires (Dev)

MIT 117e400c2dff96f89781a1fb11938411559a968c

  • Kendall Hopkins <softwareelves.woop@gmail.com>

statetransformexpressionformaltheoryregexregulardfanfafadeterministicnondeterministicfiniteautomatalexeroptimizer

This package is auto-updated.

Last update: 2024-09-15 00:12:01 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 解决方案

Build Status