Implement simplified Left Corner (sLC)

[SamyaDaleh]

No idea what's simple about this. :) I think >*l means that the length of the string below it has to be longer?

Init:

---

[0, S]

LC(a):
[i, C], [a, i, i+1]
_________ C >*l B
[B -> a dot beta, i, i+1]

LC(A):
[i, C], [A -> gamma dot, i, j]
__________________ C >*l B
[B -> A dot beta, i, j]

LC(epsilon):
[i, C]
______ C >*l B
[B -> dot, i, i]

Pred:
[B -> alpha dot C beta, i, j]

---

[j, C]

Scan:
[B -> alpha dot a beta, i, j], [a, j, j+1]

---

[B -> alpha a dot beta, i, j+1]

Compl:
[B -> alpha dot A beta, i, j], [A -> gamma dot, j, k]

---

[B -> alpha A dot beta, i, k]

Source: Sikkel: Parsing Schemata p. 216f