@minas

Approximating Parikh Images for Generating Deterministic Graph Parsers

, , and . Software Technologies: Applications and Foundations -- STAF 2016 Collocated Workshops: DataMod, GCM, HOFM, MELO, SEMS, VeryComp, Vienna Austria, July 4-8, 2016, Revised Selected Papers, page 112--128. Springer International Publishing, (2016)
DOI: 10.1007/978-3-319-50230-4_9

Abstract

The Parikh image of a word abstracts from the order of its letters. Parikh's famous theorem states that the set of Parikh images of a context-free string language forms a semilinear set that can be effectively computed from its grammar. In this paper we study the computation of Parikh images for graph grammars defined by contextual hyperedge replacement (CHR). Our motivation is to generate efficient predictive top-down (PTD) parsers for a subclass of CHR grammars. We illustrate this by describing the subtask that identifies the nodes of the input graph that parsing starts with.

Links and resources

Tags

community

  • @minas
  • @dblp
@minas's tags highlighted