Methods for LR(k) Testing: (Informative Diagnostics on LALR(k)-Conflicts)

Authors

  • Bent Bruun Kristensen
  • Ole Lehrmann Madsen

DOI:

https://doi.org/10.7146/dpb.v8i106.6521

Abstract

Methods for LR(k) testing based on the LR(0)-machine are discussed. Theoretical results on LR(k)-conditions are proved, and an algorithm for LR(k) testing derived from these results is given. The application of the method as a means of giving informative diagnostics on LALR(k)-conflicts is presented. Finally various modifications of the method are suggested to improve the efficiency of the LR(k) testing algorithm.

Author Biographies

Bent Bruun Kristensen

Ole Lehrmann Madsen

Downloads

Published

1979-11-01

How to Cite

Kristensen, B. B., & Madsen, O. L. (1979). Methods for LR(k) Testing: (Informative Diagnostics on LALR(k)-Conflicts). DAIMI Report Series, 8(106). https://doi.org/10.7146/dpb.v8i106.6521

Issue

No. 106 (1979): PB-106 Methods for LR(k) Testing: (Informative Diagnostics on LALR(k)-Conflicts)

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.