if (logRun) { IntegerSet stateSet; stateSet = new IntegerSet(); stateSet.insert(reachedState); lastLog.add(stateSet); }
    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);        if (reachedState == -1) return false;        return (finalStateSet.contains(reachedState));    }