Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: automata/petri/pnml/standard/integers/extracted
Source used for this grammar: Lom Hillah, RELAX NG implementation of Integers grammar, integers.rng, June 2008 [Download]
BuiltInSort, BuiltInOperator, BuiltInConstant, Number, Integer, Natural, Positive, IntegerOperator.content, IntegerOperator, NumberConstant, LessThan, LessThanOrEqual, GreaterThan, GreaterThanOrEqual, Addition, Subtraction, Multiplication, Division, Modulo), 0 root (—), 4 top (BuiltInSort, BuiltInOperator, BuiltInConstant, IntegerOperator.content), 2 bottom (BuiltInOperator.content, BuiltInConstant.content).[integer], [natural], [positive], [value], [numberconstant], [lt], [leq], [gt], [geq], [addition], [subtraction], [mult], [div], [mod].BuiltInSort ::= Number
BuiltInOperator ::= IntegerOperator
BuiltInConstant ::= NumberConstant
Number ::= Natural Positive Integer
Integer ::= [integer]::ε
Natural ::= [natural]::ε
Positive ::= [positive]::ε
IntegerOperator.content ::= BuiltInOperator.content
IntegerOperator ::= Addition Subtraction Multiplication Division Modulo GreaterThan GreaterThanOrEqual LessThan LessThanOrEqual
NumberConstant ::= [numberconstant]::[value]::integer BuiltInConstant.content Number
LessThan ::= [lt]::IntegerOperator
LessThanOrEqual ::= [leq]::IntegerOperator
GreaterThan ::= [gt]::IntegerOperator
GreaterThanOrEqual ::= [geq]::IntegerOperator
Addition ::= [addition]::IntegerOperator
Subtraction ::= [subtraction]::IntegerOperator
Multiplication ::= [mult]::IntegerOperator
Division ::= [div]::IntegerOperator
Modulo ::= [mod]::IntegerOperator
