The automata language used here is similar to the BLAST Query Language.
You can find a detailed specification in doc/SpecificationAutomata.md.
The automata language used here is similar to the BLAST Query Language.
You can find a detailed specification in doc/SpecificationAutomata.md.