p

rustomaton

public

7 stars

3 forks

7 issues

Commits

List of commits on branch master.

Unverified

e9245ab4805d4b015f716053e6feceb3b6fca210

update version number

ppgimalac committed 4 years ago

Unverified

5fc404cdb69be76be5f2fbd1f2bb1e42ab92572d

update imports format in file, correction in tests

ppgimalac committed 4 years ago

Unverified

aa8c3e20cfcc5bd0e31b91211f83607c04ab5bbb

update cargo toml project version

ppgimalac committed 4 years ago

Unverified

f686e9b14baf57c1e37225618cd38a69016a2427

change write_dot into to_dot

ppgimalac committed 4 years ago

Unverified

4960f8d7684d20514d456471dbc6ad9b7f0eb138

corrections in doc, update readme

ppgimalac committed 4 years ago

Unverified

d689914fbbf68d196aeb9db3fa787c3783a638b1

add tests to exclude files in cargo toml

ppgimalac committed 4 years ago

README

The README file for this repository.

A Rust automaton manipulation library project.

Functionalities

The library allows to build automatons (DFA and NFA) and regexes.

It also provides lots of classic algorithms over theses structures and allows to convert from one to another.

Algorithms implemented

union of two automatons
intersection of two automatons
equality of two automatons
concatenation of two automatons
complementary of an automaton
minimisation of an automaton
Kleene closure of an automaton
determinization of an automaton
completed automaton
accessible automaton
co-accessible automaton
trimmed automaton
reversed automaton

Displayal

Regexes can be displayed as Strings but the "simplify" function is not incredible so it generates stupidly long regexes.

Automatons can be exported to .dot files.

Bugs

This library hasn't been tested intensively so I wouldn't recommend using it for something too serious.

If you notice a bug or anything weird don't hesitate to open an issue or a pull request on the Github page.