Subregular Language Learning

This is the download page. For descriptions of the tools, see dtd-inf and sore-inf.

• Version 1.0