Last released Jun 6, 2024
Generate deterministic finite automata associated to linear equations expressed in the numeration system associated to a given substitution.
Supported by