Browsable PNML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/standard/lists/extracted
Source used for this grammar: Lom Hillah, RELAX NG implementation of Lists grammar, lists.rng, July 2008 [Download]

Summary

• Total 13 production rules with 18 top alternatives and 65 symbols.
• Vocabulary: 27 = 16 nonterminals + 0 terminals + 11 labels + 0 markers.
• Total 16 nonterminal symbols: 13 defined (BuiltInSort, BuiltInOperator, List, BuiltInConstant, ListOperator.content, ListOperator, EmptyList, ListLength, MakeList, ListConcatenation, ListAppend, MemberAtIndex, Sublist), 0 root (—), 3 top (BuiltInSort, BuiltInOperator, BuiltInConstant), 3 bottom (Sort ³, BuiltInOperator.content, BuiltInConstant.content).
• Total 11 labels: [list], [emptylist], [listlength], [makelist], [listconcatenation], [listappend], [index], [memberatindex], [start], [length], [sublist].

Syntax

BuiltInSort ::=
	List

BuiltInOperator ::=
	ListOperator

List ::=
	[list]::Sort

BuiltInConstant ::=
	EmptyList

ListOperator.content ::=
	BuiltInOperator.content

ListOperator ::=
	ListAppend
	ListConcatenation
	MakeList
	ListLength
	MemberAtIndex
	Sublist

EmptyList ::=
	[emptylist]::(Sort BuiltInConstant.content)

ListLength ::=
	[listlength]::ListOperator.content

MakeList ::=
	[makelist]::(Sort ListOperator.content)

ListConcatenation ::=
	[listconcatenation]::ListOperator.content

ListAppend ::=
	[listappend]::ListOperator.content

MemberAtIndex ::=
	[memberatindex]::([index]::integer ListOperator.content)

Sublist ::=
	[sublist]::([start]::integer [length]::integer ListOperator.content)

Maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated in September 2015. [↑]