Download the PHP package kendall-hopkins/formal-theory without Composer
On this page you can find all versions of the php package kendall-hopkins/formal-theory. It is possible to download/install these versions without Composer. Possible dependencies are resolved automatically.
Table of contents
Download kendall-hopkins/formal-theory
More information about kendall-hopkins/formal-theory
Files in kendall-hopkins/formal-theory
Download kendall-hopkins/formal-theory
More information about kendall-hopkins/formal-theory
Files in kendall-hopkins/formal-theory
Vendor kendall-hopkins
Package formal-theory
Short Description FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.
License MIT
Homepage https://github.com/KendallHopkins/FormalTheory
Package formal-theory
Short Description FormalTheory is a library that allows for manipulation and conversion of NFAs, DFAs and Regular Expressions.
License MIT
Homepage https://github.com/KendallHopkins/FormalTheory
Please rate this library. Is it a good library?
Informations about the package formal-theory
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
All versions of formal-theory with dependencies
PHP Build Version
Package Version
Requires
php Version
>=5.3.0
The package kendall-hopkins/formal-theory contains the following files
Loading the files please wait ....