info += "<=" + dfa.getMaxStateNumber() + " states";
for (int i = 0; i <= getMaxStateNumber(); i++) { DFAState s = getState(i);
for (int i = 0; i <= getMaxStateNumber(); i++) { DFAState s = getState(i);
for (int i = 0; i <= getMaxStateNumber(); i++) { DFAState s = getState(i);
for (int i = 0; i <= getMaxStateNumber(); i++) { DFAState s = getState(i);