Functionality for outputting DFAs