Rule for NamedEquationSection
<EquationKeyword>[:]\n
(<Equation> \n)*
[<End>]
Rule for EquationKeyword
(EQUATIONS[_SECTION] | EQUATION_SECTION | Equations)
Rule for Equation
(<Term> (⎵\t)*)* <Operator> (⎵\t)* [+|-]<Integer>
Rule for Term
[+|-] (⎵\t)* [<Integer>]<Name>
Note that a name must match one of the names defined in the
NameSection
.
Note that in an equation, each name may occur at most once.
Rule for Operator
(== | =)
Rule for Integer
(1-9)[(0-9)]*
Rule for Name
(a-z|A-Z)(a-z|A-Z|0-9|_|^)*
Examples
Names:
A B C
Equations:
2A == 0
- B == -1
A +B + C = 2
May be used in
Legend
[X]: X
is optional.(X|Y|Z):
One of X, Y
or Z
is present.(A-E):
Any ASCII symbol between symbol A
and E
.X*:
X may occur any number of times (including zero).