It is shown that LL(l) and LALR(l) acceptors can be obtained by restricting the action tables of the corresponding LL(O) and LR(O) acceptors to those entries that are accessed in at least one accepting sequence (of a sentence from the language). It follows that a number of properties that are easily proven in the context of LL(O) and LR(O) acceptors immediately carry over to LL(l) and LALR(l) acceptors, where a direct proof is often more laborious. The paper provides some examples of this phenomenon. Another advantage of the approach is the clarification of the existence of accepting schemes 'in between' LL(O) and LL(l) or LR(O) and LALR(l) (e.g. SLR(l)). Again some examples are given.
|Title of host publication||Is er nog nieuws? (Aangeboden aan prof.dr. Th.J. Dekker)|
|Editors||P. Emde Boas, van, P.W. Hemker, W. Hoffman, P.J. Houwen, van der, P.R. Pfluger|
|Place of Publication||Amsterdam|
|Publisher||Universiteit van Amsterdam|
|Publication status||Published - 1992|