aycock@cpsc.ucalgary.ca (John Aycock) (03/16/91)
I just got the book "Parsing Techniques: A Practical Guide", by Grune & Jacobs today... it looks very worthwhile. Here's what they have to say about it (quoted without permission): 'If all entries of the resulting parse table have at most one element, the parser is again deterministic. In this case, the grammar is called strong-LL(1) ... Every strong-LL(1) grammar is LL(1) ... every LL(1) grammar is strong-LL(1) [argument follows] ... the difference between LL(1) parsing and strong-LL(1) parsing is that the strong-LL(1) parser sometimes makes e-moves before detecting an error.' 0-13-651431-6. I've just browsed through it, but it looks well worth the money; it discusses techniques in detail that are just mentioned in passing in many of the compiler books. Disclaimer: I have no connection with the authors or publishing house. :ja -- John D. Aycock aycock@cpsc.ucalgary.ca (403) 285-8727 -- Send compilers articles to compilers@iecc.cambridge.ma.us or {ima | spdcc | world}!iecc!compilers. Meta-mail to compilers-request.