Implement dHV0

[SamyaDaleh]

Init:

---

[A -> alpha dot dot gamma, j, j]

Scan:
[A -> alpha dot dot a gamma, i, i], [a, i, i+1]

---

[A -> alpha dot a dot gamma, i, i+1]

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

---

[A -> alpha dot B dot gamma, i, j]

Concat:
[A -> alpha dot beta1 dot beta2 gamma, i, j], [A -> alpha beta1 dot beta2 gamma, j, k]

---

[A -> alpha dot beta1 beta2 dot gamma, i, k]

Source: Sikkel, Parsing Schemata p. 118