tool to help with writing the DFAs for cs241