2023-10-21 15:42:31 +00:00
|
|
|
<digit> ::= "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"
|
|
|
|
|
<positive-number> ::= <digit>+
|
|
|
|
|
<negative-number> ::= "-" <positive-number>
|
|
|
|
|
<number> ::= <negative-number> | <positive-number>
|
|
|
|
|
|
|
|
|
|
<name> ::= (<letter> | <mark>) (<letter> | <mark> | <digit>)*
|
|
|
|
|
|
2023-10-22 16:27:30 +00:00
|
|
|
<tuple> ::= "(" <tuple-tail>
|
|
|
|
|
<tuple-tail> ::= ")" | <tuple-open-edge>
|
|
|
|
|
<tuple-open-edge> ::= <value> <tuple-open-edge-tail>
|
|
|
|
|
<tuple-open-edge-tail> ::= ")"
|
|
|
|
|
| "," <tuple-tail>
|
|
|
|
|
| "<" <tuple-open-edge>
|
2023-10-21 15:42:31 +00:00
|
|
|
|
2023-10-22 16:27:30 +00:00
|
|
|
<graph> ::= "{" <graph-tail>
|
|
|
|
|
<graph-tail> ::= "}" | <name> "=" <graph-open-edge>
|
|
|
|
|
<graph-open-edge> ::= <value> <graph-open-edge-value-tail>
|
|
|
|
|
| <tuple> <graph-open-edge-tail>
|
|
|
|
|
<graph-open-edge-tail> ::= "}" | ";" <graph-tail>
|
|
|
|
|
<graph-open-edge-value-tail> ::= <graph-open-edge-tail> | "<" <graph-open-edge>
|
2023-10-21 15:42:31 +00:00
|
|
|
|
2023-10-22 16:27:30 +00:00
|
|
|
<value> ::= <name> | <number> | <graph>
|
|
|
|
|
<gg> ::= <eof> | <value> <gg>
|
