拡張BNFによる数学数式構文解析規則の記述 のソース

  1
  2
  3
  4
  5
  6
  7
  8
  9
 10
 11
 12
 13
 14
 15
 16
 17
 18
 19
 20
 21
 22
 23
 24
 25
 26
 27
 28
 29
 30
 31
 32
 33
 34
 35
 36
 37
 38
 39
 40
 41
 42
 43
 44
 45
 46
 47
 48
 49
 50
 51
 52
 53
 54
 55
 56
 57
 58
 59

%indent
/拡張BNFによる数学数式構文解析規則の記述【執筆中】【たたき台】
////////////////////////////////////////////////////////////////
** 字句 [#v371b2a6]
;,##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"##
 
////////////////////////////////////////////////////////////////
** 式 [#e55680f2]
;,##R2b##((2015/05/09 04:43頃に訂正&br;　　誤：　##R2b: <第１級式> ::= <第２級式> <第１級演算子> <第１級式> | <第２級式> | <符号式>##&br;　　正：　##R2b: <第１級式> ::= <第１級式> <第１級演算子> <第２級式> | <第２級式> | <符号式>##))##: <第１級式> ::= <第１級式> <第１級演算子> <第２級式> | <第２級式> | <符号式>##
;,##R2c##((2015/05/09 04:43頃に訂正&br;　　誤：　##R2c: <第２級式> ::= <第３級式> <第２級演算子> <第２級式> | <第３級式> | <並置式>##&br;　　正：　##R2b: <第２級式> ::= <第２級式> <第２級演算子> <第３級式> | <第３級式> | <並置式>##))##: <第２級式> ::= <第２級式> <第２級演算子> <第３級式> | <第３級式> | <並置式>##
 
;,##R2d: <第３級式> ::= <分数式> | <添字式> | <第４級式>##
;,##R2e: <第４級式> ::= <根号式> | <小数列> | <文字> | <括弧式>##
;,##R2f: <括弧式>   ::= "(" <第１級式> ")" | "[" <第１級式> "]" | "{" <第１級式> "}"##
 
///////////////////////////////////////////////////////////////
*** 図式 [#j5c575d5]
;,##R3a: <分数式> ::= ##&ref(./分数式.png,60%);
;,##R3b: <根号式> ::= ##&sup{##[<第１級式>]##};&ref(./根号式.png,60%);
;,##R3c: <添字式> ::= ##&ref(./添字式.png,60%);
 
////////////////////////////////////////////////////////////////
*** 関数 [#sc7511a4]
;,##R4a: <添字付き立体関数名> ::= ##&attachref(./添字付き関数名.png,60%);
;,##R4b:         <立体関数式> ::= <添字付き立体関数名><立体関数式> | <添字付き立体関数名><密接式> ##
 
////////////////////////////////////////////////////////////////
*** 無印 [#sc7511a4]
;,##R5a##((2015/05/19 01:37頃に訂正&br;　　誤：　##R5a: <密接式>   ::= <密接式> <第３級式>##&br;　　正：　##<密接式>   ::= <密接式> <第３級式> | <第３級式> <第３級式>##))##: <密接式>   ::= <密接式> <第３級式> | <第３級式> <第３級式>##
 
;,##R5b: <並置式>   ::= <並置式> " " <第３級式> | <並置式> <立体関数式> | <密接式>##
 
////////////////////////////////////////////////////////////////
*** 符号 [#gb15828f]
;,##R6a: <符号式> ::= <符号> <第３級式> | <符号> <並置式>## 
 
* 訂正 [#yf520937]
%bodynote
////////////////////////////////////////////////////////////////