A very simple NFA toolset: parsing from a custom format, outputting in graphviz DOT format and subset construction to form DFAs