拡張BNFによる数学数式構文解析規則の記述： A÷BC＝(A÷B)C型

字句

T1a: <非零数字> ::= "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"
T1b: <数字> ::= "0" | <非零数字>
T1c: <数字列> ::= <数字> | <数字><数字列>
T1d: <小数点> ::= "."
T1e: <小数列> ::= <数字列> | <数字列><小数点><数字列>

T2a: <文字> ::= <英字> | <ギリシア文字>
T2b: <英字> ::= "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h" | "i" | "j" | "k" | "l" | "m" | "n"
| "A" | "B" | "C" | "D" | "E" | "F" | "G" | "H" | "I" | "J" | "K" | "L" | "M" | "N"
| "o" | "p" | "q" | "r" | "s" | "t" | "u" | "v" | "w" | "x" | "y" | "z"
| "O" | "P" | "Q" | "R" | "S" | "T" | "U" | "V" | "W" | "X" | "Y" | "Z"
T2c: <ギリシア文字> ::= "α" | "β" | "γ" | "δ" | "ε" | "ζ" | "η" | "θ" | "ι" | "κ" | "λ"
| "Γ" | "Δ" | | "Θ" | "Λ"
| "μ" | "ν" | "ξ" | "π" | "σ" | "τ" | "υ" | "φ" | "χ" | "ψ" | "ω"
| "Ξ" | "Π" | "Σ" | "Φ" | "Ψ" | "Ω"

T3a: <符号> ::= "＋" | "−"
T3b: <第１級演算子> ::= "＋" | "−"
T3c: <第２級演算子> ::= "×" | "÷" | "・"

T4: <立体関数名> ::= "sin" | "cos" | "tan" | "exp" | "log"

式

R2b: <第１級式> ::= <第１級式> <第１級演算子> <第２級式> | <第２級式> | <符号式>
R2c: <第２級式> ::= <第２級式> <第２級演算子> <第３級式> | <第３級式> | <並置式>

R2d: <第３級式> ::= <分数式> | <添字式> | <第４級式>
R2e: <第４級式> ::= <根号式> | <小数列> | <文字> | <括弧式>
R2f: <括弧式> ::= "(" <第１級式> ")" | "[" <第１級式> "]" | "{" <第１級式> "}"

図式

R3a: <分数式> ::=
R3b: <根号式> ::= [<第１級式>]
R3c: <添字式> ::=

関数

R4a: <添字付き立体関数名> ::=
R4b: <立体関数式> ::= <添字付き立体関数名><立体関数式> | <添字付き立体関数名><密接式>

無印

R5a: <密接式> ::= <密接式> <第３級式> | <第２級式> <第３級式>
R5b: <並置式> ::= <並置式> " " <第３級式> | <並置式> <立体関数式> | <密接式>

符号

R6a: <符号式> ::= <符号> <第３級式> | <符号> <並置式>

訂正