nfa to dfa conversion added. support for automata export as png file added.