if (lang.size() > 5000) {
if (lang.size() > 1000) {
            public void runAlgorithm() {                                autType = aut.isDeterministic();                alpha = aut.getAlphabet();                                boolean exitFlag = false;                                lang = new Vector<String>();                                // der Wortbaum ist zwar toll, erwischt aber das leere Wort nicht...                // soviel Zeit haben wir dann aber auch noch, dieses explizit zu testen                                if (aut.accepts("",  true, autType)) {                    lang.add("\\epsilon");                }                                // prfe zunchst die Wrter der Lnge n, dann die mit Lnge n+1                for (int wordLength = 1 ; wordLength < 11 ; wordLength++) {                                        wordGenerator = new WordTree(alpha, wordLength);                                        for ( Character c : alpha ) {                        // setze die Wurzel des Baumes                        wordGenerator.setRootData(c);                                                currWord = wordGenerator.nextWord();                                                while (currWord!=null && !exitFlag) {                            // prfe ob der automat akzeptiert                            if (aut.accepts(currWord, true,  autType)) {                                if (!lang.contains(currWord)) {                                    lang.add(currWord);                                }                                                                if (lang.size() > 5000) {                                    exitFlag = true;                                }                            }                            currWord = wordGenerator.nextWord();                        }                                                // Um den Baum nicht neu erzeugen zu mssen, werden                        // alle Knoten als unbesucht gesetzt                        if (exitFlag) break;                        wordGenerator.resetVisited();                    }                                        wordGenerator = null; System.gc();                    if (exitFlag) break;                }                                                resultText = new StringBuffer("L = { ");                                for ( String s : lang ) {                    resultText.append(s+", \n");                }                                resultText.append(" }");                lang = null; System.gc();            }            