Implement Predictive Left Corner (pLC)

[SamyaDaleh]

Init:

---

[0, S]

LC(a):
[i, C], [a, i, i+1]

---

[C; B -> a dot beta, i, i+1]

LC(A):
[C; A -> gamma dot, i, j]

---

[C; B -> A dot beta, i, j]

LC(epsilon):
[i, C]

---

[C; B -> dot, i, i]

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

---

[j, A]

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

---

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

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

---

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

Source: Sikkel, Parsing Schemata p. 210f