A tool to convert regular languages.