/FA2RE-SE-COMP

A tool that converts a finite-state automaton to a regular expression using a domain-specific language created for the purpose.

Primary LanguageJava

Stargazers