839840841842843844845846847848
} else { regExp = new RegExpAddition(regExp, table.get(new StatePairOM(this.initialState, state))); } } GeneralMatrix m = new GeneralMatrix(table); println(m.toStringFormatiert()); return regExp; }