840841842843844845846847848849850
regExp = new RegExpAddition(regExp, table.get(new StatePairOM(this.initialState, state))); } } GeneralMatrix m = new GeneralMatrix(table); println(m.toStringFormatiert()); return regExp; } private String replaceAllIndices(final String str) {