>>>>> "Hans" == Hans Aberg <[EMAIL PROTECTED]> writes:
Hans> It is probably LL(1) then (modulo tweaks), which => LALR(1),
This is not absolutely true, although it is in practice. IIRC the
result holds when there are no empty rules. See for instance
http://compilers.iecc.com/comparch/article/93-09-025
or the errata of Andrew Appel about this book on compiler
implementation:
http://www.cs.princeton.edu/~appel/modern/basic/ml/errata.html
Page 64. Figure 3.26 incorrectly shows LL(1) as a subset of
SLR. In fact, LL(1) is not even a subset of LALR(1): there is
an LL(1) grammar that is not LALR(1).
_______________________________________________
Freecard-general mailing list
[EMAIL PROTECTED]
https://lists.sourceforge.net/lists/listinfo/freecard-general
