if (myAut.getStartSet().cardinality()==0) { JOptionPane.showMessageDialog(this, "This automaton lacks a start state", "Error", JOptionPane.ERROR_MESSAGE); return; }
    public void determ() {        FSA myAut;        FSA result;        BusyDialog waitDlg;        GenericAlgorithm determAlgo;        int oldAut;                /* gui infos synchr. */        myAut = side.getCurrentAut();        oldAut = side.getCurrentSelection();                /* zunchst ein paar unschne Flle abfangen, gegen die wir (momentan)           noch keine Handhabe haben -.-         */                if (myAut.getStates().size()>=17) {            JOptionPane.showMessageDialog(this, "This automaton has more than 16 states", "Error", JOptionPane.ERROR_MESSAGE);            return;        }                // nichts zu tun        if (myAut.isDeterministic()) {            JOptionPane.showMessageDialog(this, "This automaton is already a DFA");            return;        }                determAlgo = FSAAlgo.determ(myAut);        waitDlg = new BusyDialog(this, "Patience", true);        waitDlg.run(determAlgo);        result = ((FSA)determAlgo.getResult());        result.setName(myAut.getName()+"_dfa");        side.insertAut(result, options.getBoolValueForKey("REPLACE_AUT", false));    }