Ruprecht-Karls-Universität Heidelberg




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).


Last update: Jun 05 15:00 2015 (SL)
comopt{at}informatik.uni-heidelberg.de

Valid HTML 4.01 Transitional

optWay
Links