return (finalStateSet.contains(reachedState));
if (reachedState == -1) return false; return (finalStateSet.contains(reachedState));
    private boolean dfaAccepts(String w) {	Integer reachedState;	// da geprft wurde ob der Automat deterministisch ist, muss	// gelten das das Startzustandsset nur ein Element enthlt	// welches getFirst findet (dabei liefert IntegerSet.getFirst	// das kleinste element in der Menge	reachedState = dfaDelta(startStateSet.getFirst(), w);	return (finalStateSet.contains(reachedState));    }