/m2lstr

Translation of Monadic Second-Order Logic on Strings (m2l-str) into finite automata.

Primary LanguagePythonApache License 2.0Apache-2.0

m2lstr: Monadic Second-Order Logic on Strings

This package translates m2l-str formulas into finite automata.