#regex #automata #glushkov

glushkovizer

Manipulation, regular expression and automaton library. Allows conversion of regular expressions into automata and analysis of automata and their orbits

1 unstable release

0.22.0 Jun 17, 2024

#1139 in Algorithms

GPL-3.0 license

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 :

https://github.com/Lurgrid/GlushkovizerApp-GTK4

 

$ 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