Uniform parsing for hyperedge replacement grammars

Research output: Contribution to journalResearch articleContributedpeer-review

Contributors

  • Henrik Björklund - , Umeå University (Author)
  • Frank Drewes - , Umeå University (Author)
  • Petter Ericson - , Swiss Federal Institute of Technology Lausanne (EPFL), Umeå University (Author)
  • Florian Starke - , Chair of Algebra and Discrete Structures (Author)

Abstract

It is well known that hyperedge-replacement grammars can generate NP-complete graph languages even under seemingly harsh restrictions. This means that the parsing problem is difficult even in the non-uniform setting, in which the grammar is considered to be fixed rather than being part of the input. Little is known about restrictions under which truly uniform polynomial parsing is possible. In this paper we propose a low-degree polynomial-time algorithm that solves the uniform parsing problem for a restricted type of hyperedge-replacement grammars which we expect to be of interest for practical applications.

Details

Original languageEnglish
Pages (from-to)1-27
Number of pages27
JournalJournal of computer and system sciences
Volume118
Publication statusPublished - Jun 2021
Peer-reviewedYes

External IDs

Scopus 85097717738

Keywords