Return to the
comp.compilers page.
Search the
comp.compilers archives again.
| Related articles |
|---|
| Top-Down Parser Construction Conjectures bart@cs.uoregon.edu (1993-01-18) |
| Re: Recursive descent parsing is better than LL(1) pjj@cs.man.ac.uk (Pete Jinks) (1993-01-27) |
| Automatic Transformation of CFG to LL/LR ramki@cs.du.edu (1993-01-29) |
| Re: Automatic Transformation of CFG to LL/LR bart@cs.uoregon.edu (1993-02-02) |
| Re: Automatic Transformation of CFG to LL/LR ramki@cs.du.edu (1993-02-03) |
| Newsgroups: | comp.compilers |
| From: | ramki@cs.du.edu (Ramki Thurimella) |
| Keywords: | LL(1), parse |
| Organization: | Compilers Central |
| References: | 93-01-122 93-01-204 |
| Date: | Fri, 29 Jan 1993 18:13:15 GMT |
I remember seeing recently a posting on this newsgroup requesting
pointers to the following question: given an arbitrary context-free
grammar, does there exist a program/tool that would automatically
convert it to LL(1) or LR(1) grammar.
While testing to see if a given CFG is LL(1) or LR(1) simple and
decidable, converting one is undecidable. Exercises 5.1.12 and 5.2.12 of
Aho, A.V. and Ullman, J.D., "The Theory of Parsing, Translation,
and Compiling," Vol. 1: Parsing, Prentice-Hall, Englewood Cliffs,
N.J., 1972.
raise the same issues as that of the previous posting.
Ramki Thurimella
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.