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

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• 現在との差分 - 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)

字句

<非零数字> ::= "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"

即値

<数字列> ::= <数字> | <数字><数字列>
<小数列> ::= <数字列> | <数字列><小数点><数字列>

式

<第１級式> ::= <第２級式> <第１級演算子> <第１級式> | <第２級式>
<第２級式> ::= <第３級式> <第２級演算子> <第２級式> | <第３級式> | <添字付き立体関数式>
<並記式> ::= <並記式> <第３級式> | <並記式> " " <第３級式>
<第３級式> ::= <分数式> | <添字式> | <第４級式>
<第４級式> ::= <根号式> | <小数列> | <文字> | <括弧式>
<括弧式> ::= "(" <第１級式> ")" | "[" <第１級式> "]" | "{" <第１級式> "}"

図式

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

関数

<添字付き立体関数名> ::=
<添字付き立体関数式> ::= <添字付き立体関数名><添字付き立体関数式> | <添字付き立体関数名><並記式>