autPane.insertAut(FSAAlgo.determ(myAut));
result.setName(myAut.getName()+"_dfa");  side.insertAut( result );
    public void determ() {        FSA myAut;                /* gui infos synchr. */        myAut = side.getCurrentAut();                // nichts zu tun        if (myAut.isDeterministic()) {            JOptionPane.showMessageDialog(this, "Automat ist bereits vom Typ DFA!");            return;        }                autPane.insertAut(FSAAlgo.determ(myAut));    }