Skip to content

Latest commit

 

History

History
50 lines (33 loc) · 1.17 KB

README.md

File metadata and controls

50 lines (33 loc) · 1.17 KB

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