add FAWalk, DGraph.  Change methods in NFA class