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 {
StatePairOM keyik = new StatePairOM(reachable.get(i), reachable.get(k));
StatePairOM keykk = new StatePairOM(reachable.get(k), reachable.get(k));
StatePairOM keykj = new StatePairOM(reachable.get(k), reachable.get(j));