str.append(java.util.ResourceBundle.getBundle("global").getString("trans"));
str.append("Transitions:\n");
    public String infoString() {        StringBuffer str = new StringBuffer();        Collection<LinkedList<Transition>> coll;        Iterator<LinkedList<Transition>> tableIt;        ListIterator<Transition> listIt;                str.append(java.util.ResourceBundle.getBundle("global").getString("autInfo"));        str.append(java.util.ResourceBundle.getBundle("global").getString("name")+name+"\n");        str.append(java.util.ResourceBundle.getBundle("global").getString("autType")+(this.isDeterministic() ? "DFA\n" : "NFA\n"));        str.append(java.util.ResourceBundle.getBundle("global").getString("startStateS")+startStateSet+"\n");        str.append(java.util.ResourceBundle.getBundle("global").getString("finalStateS")+finalStateSet+"\n");        str.append(java.util.ResourceBundle.getBundle("global").getString("inpAlpha")+getAlphabet()+"\n");                str.append(java.util.ResourceBundle.getBundle("global").getString("trans"));                coll = transitionTable.values();        tableIt = coll.iterator();                while (tableIt.hasNext()) {            listIt = ((LinkedList<Transition>)tableIt.next()).listIterator();            while (listIt.hasNext()) {                str.append(((Transition)listIt.next())+"\n");            }        }                return str.toString();    }