autolib

Finite automata over integer symbols : regular expressions, operators on languages, counting and sampling of words, searches, weighted automata and Pareto fronts.

Python

Guides with examples, and the API reference.

pip install automaton-lib

C++20

The library itself : classes, operators and algorithms.

find_package(autolib)