kendall-hopkins/formal-theory

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

维护者

详细信息

github.com/KendallHopkins/FormalTheory

主页

源代码

问题

安装量: 1,166

依赖: 1

建议者: 0

安全性: 0

星标: 32

关注者: 4

分支: 4

开放问题: 4

1.0.0 2012-11-27 07:25 UTC

Requires

  • php: >=5.3.0

MIT 81f8957ee52fe7b561a9454c5d9661dd5fc9751f

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

statetransformexpressionformaltheoryregexregulardfanfafadeterministicnondeterministicfiniteautomatalexeroptimizer

This package is not auto-updated.

Last update: 2024-09-14 12:13:55 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