Generation and recognition of formal languages by modifiable grammars

  • Authors:
  • Boris Burshteyn

  • Affiliations:
  • Pyramid Technology Corporation, 1295 Charleston Road, P.O. Box 7295, Mountain View, CA

  • Venue:
  • ACM SIGPLAN Notices
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this article the formal definitions of modifiable grammars are presented, and the equivalence between classes of modifiable grammars and Turing machines is proved. Some criteria for reducing modifiable grammars to context-free grammars are provided. A lazy LR(1) algorithm for context-free grammars and an algorithm for constructing a LR(1) parser for modifiable grammars are discussed.