Safe Haskell | None |
---|
Documentation
A point in left-linear grammars. In (i:.j)
, j
is the non-terminal
storage point, i==0
always for the non-terminal, while i>=0
for
terminals, which are on the right of the non-terminal. (This is why
left-linear grammars are called left-linear: they recurse on the left).
PS: all this left/right talk deals with the RHS of a production rule, the LHS is always a non-terminal ;-)
A point in right-linear grammars.