System.out.println(aut.accepts(currWord, true,  autType));
    public static synchronized Vector<String> guessLang(FSA aut, int step) throws OutOfMemoryError {        Vector<Character> alpha;        Vector<String> lang;        boolean autType;        WordTree wordGenerator;        String currWord;                autType = aut.isDeterministic();        alpha = aut.getAlphabet();                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        System.out.println(aut.getStartSet());                if (aut.accepts("",  true, autType)) {            lang.add("\\epsilon");        }                // der Wortbaum bekommt bei jedem Durchlauf den nchsten        // Buchstaben des Eingabealphabets als Wurzel                wordGenerator = new WordTree(alpha, step);                for ( Iterator<Character> it = alpha.iterator(); it.hasNext(); ) {            // setze die Wurzel des Baumes            wordGenerator.setRootData(it.next());                        currWord = wordGenerator.nextWord();                        while (currWord!=null) {                // prfe ob der automat akzeptiert                //System.out.println("Teste: "+currWord);                    System.out.println(aut.accepts(currWord, true,  autType));                if (aut.accepts(currWord, true,  autType)) {                                 lang.add(currWord);                }                currWord = wordGenerator.nextWord();            }                        // Um den Baum nicht neu erzeugen zu mssen, werden            // alle Knoten als unbesucht gesetzt            wordGenerator.resetVisited();        }                System.out.println(lang);                return lang;    }