Browsable CNF Grammar

Grammar extracted by Vadim Zaytsev, see the Grammar Zoo entry for details: markup/scientific/logic/cnf/extracted
Source used for this grammar: Jurgen Vinju, lang::dimacs::syntax::Dimacs, 2 June 2012 [GitHub]

Summary

• Total 4 production rules with 4 top alternatives and 25 symbols.
• Vocabulary: 13 = 7 nonterminals + 1 terminals + 5 labels + 0 markers.
• Total 7 nonterminal symbols: 3 defined (Line, Disjuncts, Dimacs), 0 root (—), 2 top (Disjuncts, Dimacs), 4 bottom (Comment, Number, Prologue, Disjunct).
• Total 1 terminal symbols: 0 keywords (—), 0 letters (—), 0 numerics (—), 0 signs (—).
• Total 5 labels: [comment] ², [disjunct] ², [numbers], [prologue], [lines].

Syntax

Line ::=
	[comment]::[comment]::Comment

Line ::=
	[disjunct]::[disjunct]::Disjunct

Disjuncts ::=
	[numbers]::Number+

Dimacs ::=
	[prologue]::Prologue [lines]::{Line "\n"}+ "\n"

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