Murg term rewrite systems

  • Authors:
  • Sándor Vágvölgyi

  • Affiliations:
  • Department of Foundations of Computer Science, University of Szeged, Szeged, Árpád tér 2, H-6720 Hungary

  • Venue:
  • Information Processing Letters
  • Year:
  • 2008

Quantified Score

Hi-index 0.89

Visualization

Abstract

The union of a monadic and a right-ground term rewrite system is called a murg term rewrite system. We show that for murg TRSs the ground common ancestor problem is undecidable. We show that for a murg term rewrite system it is undecidable whether the set of descendants of a ground tree is a recognizable tree language. We show that it is undecidable whether a murg term rewrite system over @S preserves @S-recognizability.