for (int i = 0; i < reachable.size(); i++) {
for (int j = 0; j < reachable.size(); j++) {
StatePairOM keyij = new StatePairOM(reachable.get(i), reachable.get(j));
if (k == 0) { // First entry.
for (Transition t : this.getTransitions(reachable.get(i), reachable.get(j))) {
this.addExpressionToTableEntry(new RegExpCharacter(t.getLabel()), table, keyij);
}
if (reachable.get(i).equals(reachable.get(j))) {
this.addExpressionToTableEntry(new RegExpLambda(), table, keyij);
}
} else {