Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
skip to main content
article
Open access

A short proof of a conjecture of De Remer and Pennello

Published: 01 April 1986 Publication History

Abstract

In this paper we offer a short proof of the DeRemer-Pennello conjecture that if the LR(0) automaton for a grammar G contains a state p and a nonterminal A such that (p, A) is a nonterminal transition, (p, A) includes+ (p, A) and Read(p, A) is not empty, then grammar G is not LR(k) for any k.

References

[1]
AHO, A. V., AND ULLMAN, J. D. The Theory of Parsing, Translation and Compiling, vol. 1. Prentice-Hall, Englewood Cliffs, N.J., 1972.
[2]
DEREMER, F. L., AND PENNELLO, T.J. Efficient computation of LALR(1) look-ahead sets. ACM Trans. Program. Lang. Syst. 4, 4 (Oct. 1982), 615-649.
[3]
KNU?H, D.E. On the translation of languages from left to right. In{. Control 8, 6 (Oct. 1965), 607-639.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Programming Languages and Systems
ACM Transactions on Programming Languages and Systems  Volume 8, Issue 2
April 1986
87 pages
ISSN:0164-0925
EISSN:1558-4593
DOI:10.1145/5397
  • Editor:
  • Susan L. Graham
Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1986
Published in TOPLAS Volume 8, Issue 2

Permissions

Request permissions for this article.

Check for updates

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 262
    Total Downloads
  • Downloads (Last 12 months)22
  • Downloads (Last 6 weeks)7
Reflects downloads up to 30 Aug 2024

Other Metrics

Citations

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Full Access

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media