Lecture Notes in Computer Science, 2008, Volume 5214/2008, 39-53, DOI: 10.1007/978-3-540-87405-8_4

An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars

Steffen Mazanek, Sonja Maier and Mark Minas

View Related Documents

Abstract

The algorithm of Cocke, Younger, and Kasami is a dynamic programming technique well-known from string parsing. It has been adopted to hypergraphs successfully by Lautemann. Therewith, many practically relevant hypergraph languages generated by hyperedge replacement can be parsed in an acceptable time. In this paper we extend this algorithm by hypergraph completion: If necessary, appropriate fresh hyperedges are inserted in order to construct a derivation. The resulting algorithm is reasonably efficient and can be directly used, among other things, for auto-completion in the context of diagram editors.

Keywords  hypergraph completion - hyperedge replacement - parsing

Fulltext Preview

Image of the first page of the fulltext document