Expand description
Module for managing regular expressions, automata and converting regular expressions into Glushkov automata.
Modules§
- automata
- Module allowing automaton management. With the possibility of “created by hand”, checks if a word is recognized by this automata. Finally it can also be converted into dot format
- prelude
- Traits and essential types intended for blanket imports
- regexp
- Module for managing regular expressions. You can create a regular expression “by hand” or “parse” it from a string containing the following operations: