Prettier NFA print. Fixed stupid bug in NFA to DFA.