Re: An example LL(K) language that is not LL(K-1) ?

SLK Mail <slkpg@cox.net>
Sat, 6 Feb 2010 14:44:00 -0500

          From comp.compilers

Related articles
[5 earlier articles]
Re: An example LL(K) language that is not LL(K-1) ? kkylheku@gmail.com (Kaz Kylheku) (2010-02-03)
Re: An example LL(K) language that is not LL(K-1) ? daniel.eliason@excite.com (fortunatus) (2010-02-04)
Re: An example LL(K) language that is not LL(K-1) ? slkpg@cox.net (SLK Mail) (2010-02-05)
Re: An example LL(K) language that is not LL(K-1) ? cfc@shell01.TheWorld.com (Chris F Clark) (2010-02-05)
Re: An example LL(K) language that is not LL(K-1) ? kkylheku@gmail.com (Kaz Kylheku) (2010-02-06)
Re: An example LL(K) language that is not LL(K-1) ? klyjikoo@gmail.com (klyjikoo) (2010-02-06)
Re: An example LL(K) language that is not LL(K-1) ? slkpg@cox.net (SLK Mail) (2010-02-06)
Re: An example LL(K) language that is not LL(K-1) ? kkylheku@gmail.com (Kaz Kylheku) (2010-02-10)
Re: An example LL(K) language that is not LL(K-1) ? cfc@shell01.TheWorld.com (Chris F Clark) (2010-02-10)
Re: An example LL(K) language that is not LL(K-1) ? klyjikoo@gmail.com (klyjikoo) (2010-02-14)
Re: An example LL(K) language that is not LL(K-1) ? cfc@shell01.TheWorld.com (Chris F Clark) (2010-02-13)
| List of all articles for this month |

From: SLK Mail <slkpg@cox.net>
Newsgroups: comp.compilers
Date: Sat, 6 Feb 2010 14:44:00 -0500
Organization: Compilers Central
References: 10-02-009 10-02-015 10-02-018
Keywords: parse, LL(1)
Posted-Date: 10 Feb 2010 11:00:59 EST

S -> a A a
S -> b A b a
A -> b
A ->


The example grammar I gave is the classic example from the literature
of a grammar that is LL(2), but not strong LL(2). Since it is not
strong LL(2), it clearly is not LL(1).


Your grammar is in fact strong LL(3):


S: aa | aba | bba | bbba;


If you think it is LL(1), provide the parse table.


If you think it is a language rather than a grammar, provide an LL(1)
grammar that recognizes it.



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.