Browsable PNML Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/standard/finite-ints/extracted
Source used for this grammar: Lom Hillah, RELAX NG implementation of Finite Integer Ranges grammar, finiteintranges.rng, July 2008 [Download]

Summary

• Total 11 production rules with 14 top alternatives and 51 symbols.
• Vocabulary: 22 = 13 nonterminals + 0 terminals + 9 labels + 0 markers.
• Total 13 nonterminal symbols: 11 defined (BuiltInSort, BuiltInOperator, BuiltInConstant, FiniteIntRange, FiniteIntRangeOperator.content, FiniteIntRangeOperator, FIRLessThan, FIRLessThanOrEqual, FIRGreaterThan, FIRGreaterThanOrEqual, FiniteIntRangeConstant), 0 root (—), 3 top (BuiltInSort, BuiltInOperator, BuiltInConstant), 2 bottom (BuiltInOperator.content, BuiltInConstant.content).
• Total 9 labels: [start], [end], [finiteintrange], [lessthan], [lessthanorequal], [greaterthan], [greaterthanorequal], [value], [finiteintrangeconstant].

Syntax

BuiltInSort ::=
	FiniteIntRange

BuiltInOperator ::=
	FiniteIntRangeOperator

BuiltInConstant ::=
	FiniteIntRangeConstant

FiniteIntRange ::=
	[finiteintrange]::([start]::integer [end]::integer)

FiniteIntRangeOperator.content ::=
	BuiltInOperator.content

FiniteIntRangeOperator ::=
	FIRLessThan
	FIRLessThanOrEqual
	FIRGreaterThan
	FIRGreaterThanOrEqual

FIRLessThan ::=
	[lessthan]::FiniteIntRangeOperator.content

FIRLessThanOrEqual ::=
	[lessthanorequal]::FiniteIntRangeOperator.content

FIRGreaterThan ::=
	[greaterthan]::FiniteIntRangeOperator.content

FIRGreaterThanOrEqual ::=
	[greaterthanorequal]::FiniteIntRangeOperator.content

FiniteIntRangeConstant ::=
	[finiteintrangeconstant]::([value]::integer FiniteIntRange BuiltInConstant.content)

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