Graph Grammar Syntax

thnoll edited this page Mar 28, 2018 · 5 revisions

Graph grammars are specified as a JSON-array of rules having the following form:

{
  "nonterminal": String,
  "rank":Number,
  "reductionTentacles":[Boolean],
  "index":[String],
  "rules":[ HeapConfigurationObject ]
}
  • nonterminal: the nonterminal on the left hand side of this rule
  • rank see rank
  • reductionTentacles is true at position i if the i'th tentacle is a reduction tentacle
  • index is an optional attribute for indexed grammars. (For its syntax see here.)
  • rules is an array of heap configurations which form the right hand sides of this rule. (For their syntax see here.)

  • Here you can see an example of a grammar without indices modelling singly linked lists.
  • Here you can see an example of an indexed grammar modelling AVL trees.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.
Press h to open a hovercard with more details.