LR(0) conjunctive grammars and deterministic synchronized alternating pushdown automata

  • Authors:
  • Tamar Aizikowitz;Michael Kaminski

  • Affiliations:
  • Department of Computer Science, Technion, Israel Institute of Technology, Haifa, Israel;Department of Computer Science, Technion, Israel Institute of Technology, Haifa, Israel

  • Venue:
  • CSR'11 Proceedings of the 6th international conference on Computer science: theory and applications
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we introduce a sub-family of synchronized alternating pushdown automata, Deterministic Synchronized Alternating Pushdown Automata, and a sub-family of conjunctive grammars, LR(0) Conjunctive Grammars. We prove that deterministic SAPDA and LR(0) conjunctive grammars have the same recognition/generation power, analogously to the classical equivalence between acceptance by empty stack of deterministic PDA and LR(0) grammars. These models form the theoretical basis for efficient, linear, parsing of a rich sub-family of conjunctive languages, which properly includes all the boolean combinations of context-free LR(0) languages.