拡張BNFによる数学数式構文解析規則の記述 のバックアップ差分(No.6)

• バックアップ一覧
• 現在との差分 を表示
• 現在との差分 - Visual を表示
• ソース を表示
• バックアップ を表示
• 拡張BNFによる数学数式構文解析規則の記述 へ行く。
  • 1 (2015.0430 (木) 2033.0100)
  • 2 (2015.0430 (木) 2038.2400)
  • 3 (2015.0430 (木) 2208.2900)
  • 4 (2015.0430 (木) 2341.2200)
  • 5 (2015.0501 (金) 0142.1400)
  • 6 (2015.0501 (金) 0257.5900)
  • 7 (2015.0501 (金) 0407.5000)
  • 8 (2015.0501 (金) 0439.1000)
  • 9 (2015.0501 (金) 1324.4700)
  • 10 (2015.0507 (木) 0948.5900)
  • 11 (2015.0509 (土) 0454.0300)
  • 12 (2015.0509 (土) 0555.1000)
  • 13 (2015.0519 (火) 0138.4300)

• 追加された行はこの色です。
• 削除された行はこの色です。

%indent
/拡張BNFによる数学数式構文解析規則の記述【執筆中】
////////////////////////////////////////////////////////////////
** 字句 [#v371b2a6]

^<非零数字> ::= "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"
^<数字>     ::= "0" | <非零数字>
^<小数点>   ::= "."
^<英字>     ::= "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"
^<ギリシア文字> ::= "α" | "β" | "γ" | "δ" | "ε" | "ζ" | "η" | "θ" | "ι" | "κ" | "λ" | "μ" | "ν"
^                                      | "Γ" | "Δ" |                    | "Θ" | "Λ"
^                 | "ξ"        | "π" | "σ" | "τ" | "υ" | "φ" | "χ" | "ψ" | "ω"
^                 | "Ξ"        | "Π" | "Σ"               | "Φ"        | "Ψ" | "Ω" 
^<加減演算子> ::= "＋" | "−"
^<乗除演算子> ::= "×" | "÷"
^<三角関数名> ::= "sin" | "cos" | "tan"
^<指数関数名> ::= "exp"
^<対数関数名> ::= "log"
;,##<非零数字> ::= "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9"##
;,##<数字>     ::= "0" | <非零数字>##
;,##<小数点>   ::= "."##

;,##<文字>     ::= <英字> | <ギリシア文字>##
;,##<英字>     ::= "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"##
;,##<ギリシア文字> ::= "α" | "β" | "γ" | "δ" | "ε" | "ζ" | "η" | "θ" | "ι" | "κ" | "λ" ##
;,##                                      | "Γ" | "Δ" |                    | "Θ" | "Λ"##
;,##                 | "μ" | "ν" | "ξ"        | "π" | "σ" | "τ" | "υ" | "φ" | "χ" | "ψ" | "ω"##
;,##                               | "Ξ"        | "Π" | "Σ"               | "Φ"        | "Ψ" | "Ω"##

;,##<加減演算子> ::= "＋" | "−"##
;,##<乗除演算子> ::= "×" | "÷"##

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

////////////////////////////////////////////////////////////////
** 即値 [#n7291eec]
###
 <数字列> ::= <数字> | <数字><数字列>
 <小数列> ::= <数字列> | <数字列><小数点><数字列>
###

;,##<数字列> ::= <数字> | <数字><数字列>##
;,##<小数列> ::= <数字列> | <数字列><小数点><数字列>##

// <文字列> ::= <文字> | <文字>

////////////////////////////////////////////////////////////////
** 式 [#e55680f2]
###
 <第１級式> ::= <第２級式><加減演算子><右辺> | <第２級式>
 <第２級式> ::= <第３級式><乗除演算子><右辺> | <第３級式>
 <第３級式> ::= <括弧式> | <括線式> | <添字式>
 <括弧式>   ::= "(" <第１級式> ")" | "[" <第１級式> "]" | "{" <第１級式> "}"
 <括線式>   ::= <分数式> | <根号式>
 <添字式>   ::= <右下添字式> | <右上添字式> 
###
;,##<第１級式> ::= <第２級式><第１級演算子><第１級式> | <第２級式>##
;,##<第２級式> ::= <第３級式><第２級演算子><第２級式> | <第３級式>##
;,##<第３級式> ::= <分数式> | <添字式>##
;,##<第４級式> ::= <根号式> | <小数列> | <文字> | <第４級式>##
;,##<括弧式>   ::= "(" <第１級式> ")" | "[" <第１級式> "]" | "{" <第１級式> "}"##

////////////////////////////////////////////////////////////////
*** 図式 [#j5c575d5]
 ##<分数式>## ::= &ref(./分数式.png,60%);
 ##<根号式>## ::= &ref(./根号式.png,60%);
;,##<分数式> ::= ##&ref(./分数式.png,60%);
;,##<根号式> ::= ##&sup{##[<第１級式>]##};&ref(./根号式.png,60%);
;,##<添字式> ::= ##&attachref(./添字式.png,60%);

////////////////////////////////////////////////////////////////