Browsable PNML Grammar

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

Summary

• Total 14 production rules with 18 top alternatives and 61 symbols.
• Vocabulary: 28 = 17 nonterminals + 2 terminals + 9 labels + 0 markers.
• Total 17 nonterminal symbols: 14 defined (Operator, BuiltInSort, BuiltInOperator, BuiltInConstant, Bool, BooleanOperator.content, BooleanOperator, And, Or, Not, Imply, Equality, Inequality, BooleanConstant), 0 root (—), 4 top (Operator, BuiltInSort, BuiltInOperator, BuiltInConstant), 3 bottom (BuiltInOperator.content, BuiltInConstant.content, Operator.content ²).
• Total 2 terminal symbols: 2 keywords ("true", "false"), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 9 labels: [bool], [and], [or], [not], [imply], [equality], [inequality], [value], [booleanconstant].

Syntax

Operator ::=
	Equality
	Inequality

BuiltInSort ::=
	Bool

BuiltInOperator ::=
	BooleanOperator

BuiltInConstant ::=
	BooleanConstant

Bool ::=
	[bool]::ε

BooleanOperator.content ::=
	BuiltInOperator.content

BooleanOperator ::=
	And
	Or
	Imply
	Not

And ::=
	[and]::BooleanOperator.content

Or ::=
	[or]::BooleanOperator.content

Not ::=
	[not]::BooleanOperator.content

Imply ::=
	[imply]::BooleanOperator.content

Equality ::=
	[equality]::Operator.content

Inequality ::=
	[inequality]::Operator.content

BooleanConstant ::=
	[booleanconstant]::([value]::("true" | "false") BuiltInConstant.content)

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