Re: LR(1) Parsing : Error Handling & Recovery

Hans-Peter Diettrich <DrDiettrich1@netscape.net>
Mon, 28 Jul 2014 14:43:50 +0200

          From comp.compilers
Related articles
[19 earlier articles]
Re: LR(1) Parsing : Error Handling & Recovery DrDiettrich1@netscape.net (Hans-Peter Diettrich) (2014-07-21)
Re: LR(1) Parsing : Error Handling & Recovery drikosev@otenet.gr (Evangelos Drikos) (2014-07-21)
Re: LR(1) Parsing : Error Handling & Recovery haberg-news@telia.com (Hans Aberg) (2014-07-21)
Re: LR(1) Parsing : Error Handling & Recovery wclodius@earthlink.net (2014-07-21)
Re: LR(1) Parsing : Error Handling & Recovery gneuner2@comcast.net (George Neuner) (2014-07-25)
Re: LR(1) Parsing : Error Handling & Recovery cdodd@acm.org (Chris Dodd) (2014-07-26)
Re: LR(1) Parsing : Error Handling & Recovery DrDiettrich1@netscape.net (Hans-Peter Diettrich) (2014-07-28)
Re: LR(1) Parsing : Error Handling & Recovery cdodd@acm.org (Chris Dodd) (2014-07-29)
Re: LR(1) Parsing : Error Handling & Recovery monnier@iro.umontreal.ca (Stefan Monnier) (2014-08-06)
Re: LR(1) Parsing : Error Handling & Recovery drikosev@otenet.gr (Evangelos Drikos) (2014-08-26)
Re: LR(1) Parsing : Error Handling & Recovery haberg-news@telia.com (Hans Aberg) (2014-08-29)
Re: LR(1) Parsing : Error Handling & Recovery haberg-news@telia.com (Hans Aberg) (2014-09-03)
| List of all articles for this month |
From: Hans-Peter Diettrich <DrDiettrich1@netscape.net>
Newsgroups: comp.compilers
Date: Mon, 28 Jul 2014 14:43:50 +0200
Organization: Compilers Central
References: 14-07-023 14-07-024 14-07-030 14-07-031 14-07-041 14-07-046 14-07-060 14-07-062
Keywords: LL(1), parse
Posted-Date: 28 Jul 2014 10:19:05 EDT

Chris Dodd schrieb:


> A counter-example from Kurki-Suonio
> <ftp://ftp.math.utah.edu/pub/tex/bib/idx/bit/9/3/225-238.html>
> <http://www.springerlink.com/openurl.asp?genre=article&issn=0006-
> 3835&volume=9&issue=3&spage=225>


Unfortunately I couldn't get the article, so here's what I don't understand:


> is:
>
> S ::= aSA | \epsilon
> A ::= aabS | c
>
> This grammar (and the language) is LL(2), but there does not exist an
> equivalent LL(1) grammar.


IMO this grammar is LL(3), not LL(2). There might be a typo in A, which
might originally read as:
      A ::= abS | c
resulting in an LL(2) grammar.


Can somebody enlighten me?


DoDi

Post a followup to this message

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