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

Forfattere

  • Bent Bruun Kristensen
  • Ole Lehrmann Madsen

DOI:

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

Resumé

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.

Forfatterbiografier

Bent Bruun Kristensen

Ole Lehrmann Madsen

Downloads

Publiceret

1979-11-01

Citation/Eksport

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

Nummer

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

Sektion

Articles

Licens

Creative Commons License

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