1 unstable release
0.22.0 | Jun 17, 2024 |
---|
#1139 in Algorithms
415KB
2.5K
SLoC
Glushkovizer
Manipulation, regular expression and automaton library. Allows conversion of regular expressions into automata and analysis of automata and their orbits.
Formal definition
The formal definition of data types used by this library is available in French here
Examples
To see an example of a graphics application using this library, go to this repository :
$ cargo run --example simple_json
CLI version (example) :
$ cargo build --example cli --release
$ ./target/release/examples/cli
Please enter a regular expression - Press Ctrl + D to quit
(a+b).a*.b*.(a+b)*
Concat(Concat(Concat(Or(Symbol('a'), Symbol('b')), Repeat(Symbol('a'))), Repeat(Symbol('b'))), Repeat(Or(Symbol('a'), Symbol('b'))))
Enter a filename to save the automata - Press Ctrl + D to not save
toto
Saved !
Please enter a regular expression - Press Ctrl + D to quit
Run Dependencies
-
dot 9.0 >=
(May work on an earlier version, but has not been tested)Click here to install it
License
GPLv3
GitHub @Lurgrid
Dependencies
~6–15MB
~178K SLoC