added a few informative functions
fixed labels being off issues
made labels reflect actual dfa states
fixed off by 1 error with labels