Regular Expression (Regex), Nondeterministic finite automaton (NFA) and Deterministic finite automaton (DFA) implement in PHP. - Keywords: php php-library regex nfa dfa dfa-regex formal-languages https://github.com/KendallHopkins/FormalTheory
Kendall Hopkins
81f8957ee5
Remove extra newline
|
il y a 12 ans | |
|---|---|---|
| lib | il y a 12 ans | |
| test | il y a 12 ans | |
| .travis.yml | il y a 12 ans | |
| LICENSE | il y a 12 ans | |
| README.md | il y a 12 ans | |
| composer.json | il y a 12 ans | |
| phpunit.xml.dist | il y a 13 ans |
README.md
FormalTheory
FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions. Some of the features it includes are:
- Regex Lexing (AST)
- Regex to NFA conversion
- NFA to DFA conversion (determinize)
- DFA minimization
- DFA solution counting
- FA equality
- FA superset/subset test
- FA proper superset/subset test
- FA has a valid solution
- FA print
- FA export as DOT
- FA string matching
- FA intersections
- FA unions
- FA negation
- FA reverse
- FA to Regex conversion (basic)
- Heavy Unit Test Coverage
- Modern Autoloading Support
- Regex optimization via rules
Note: FA is either a DFA or NFA
Coming Soon™
- Regex optimization via mutations
- Generalized DFA solving based on positive/negative match list
