1 s ::= ws grammar ws => "gram"
3 grammar ::= r +/ ws => "grammar"
4 r ::= word ^"::=" alternatives /ws
5 | word ^"!::=" alternatives /ws
7 alternatives ::= equiAlt +/ (ws ">" ws)
8 equiAlt ::= conjuncts +/ (ws "|" ws)
14 ss ::= es => "seq" | es ^"/" e /ws
17 | rewrite ^"&" e*/ws /ws
18 | rewrite ^"&~" e*/ws /ws
20 rewrite ::= sequence /ws => "rewrite"
21 | sequence ^"=>" (word|quoted) /ws
26 range ::= ec => "range"
29 e ::= word => "nonTerminal"
31 | ^"{" alternatives "}" /ws
37 | (e ws ^"**" > e ws ^"*")
39 | (e ws ^"++" > e ws ^"+")
46 > ^"(" alternatives ")" /ws
54 quoted ::= "\"" (([~\"\\] | escaped)+) "\""
56 escaped ::= "\\n" => "\n"