[antlr-interest] Conclusions on LL(k) vs LALL(k) vs SLL(k) & Nondeterminism?

Terence Parr parrt at cs.usfca.edu
Mon Jan 5 11:30:53 PST 2004


On Monday, January 5, 2004, at 10:13  AM, srbstar wrote:

> Noting the lengthy disussions, Dec 03/Jan 04 on following subjects:
>
>    Nondeterminism problem
>    LL(k) vs LALL(k) vs SLL(k)

according to theory books: for k>1 SLL subset LALL subset LL

>    SLL(1) grammar subset LL(1) grammar: proof by existence?

SLK author is correct: LL(1) == SLL(1) grammar and language.  Supported 
by all theory books I checked upon return from vacation.

>    I misclassified ANTLR as LALL

Correct.  I don't have the grammar handy that shows ANTLR is not LALL.

> Can someone summarize or state mutually agreeable conclusions,
> clearly supported positions and/or subjects for further research?

I pretty sure we'll all agree on the above. :)

Terence
--
Professor Comp. Sci., University of San Francisco
Creator, ANTLR Parser Generator, http://www.antlr.org
Co-founder, http://www.jguru.com
Co-founder, http://www.knowspam.net enjoy email again!
Co-founder, http://www.peerscope.com link sharing, pure-n-simple




 

Yahoo! Groups Links

To visit your group on the web, go to:
 http://groups.yahoo.com/group/antlr-interest/

To unsubscribe from this group, send an email to:
 antlr-interest-unsubscribe at yahoogroups.com

Your use of Yahoo! Groups is subject to:
 http://docs.yahoo.com/info/terms/ 




More information about the antlr-interest mailing list