fix nfaConstructor bug and print graph with edge symbol