code: public static <State,A> NFA<State,A> create(final State startState,
  						final Collection<State> acceptStates,
  						final LabeledBiDiNavigator<State,A> lNav) {
  	return new AbstrSimpleNFA<State,A>(startState, acceptStates) {
  	    public LabeledBiDiNavigator<State,A> getLabeledBiDiNavigator() {
  		return lNav;
  	    }
  	};
      }
docs: Returns a freshly constructed <code>NFA</code>.  Like {@link
  #create(java.lang.Object,java.util.Collection,jpaul.Graphs.LabeledDiGraph.LabeledForwardNavigator)
  other} <code>nfa</code> static method, but a full navigator is
  passed.  Therefore, the <code>getLabeledBiDiNavigator()</code> of the
  returned NFA (if invoked) does not need to compute one.