Summary:
Detail:
Nfa()
Nfa(NfaState startGiven, NfaState finalGiven)
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait