Formalization and Parsing of Mathematical Expressions for Mathematical Computation
Yanjie Zhao, Tetsuya Sakurai, Hiroshi Sugiura, Tatsuo Torii · 数式処理 · 1998
Mathematical expression parsing is very important particularly for the human interface of numeric and algebraic computation systems. In this paper, we define a formalization method and a denotational meaning representation of mathematical ex- pressions. We create grammars and their parser to translate the formalized mathematical expressions into their meaning representation. We also develop a meta-language based sys- tem to realize the notation extension. Thus many complicated context-sensitive notations can be parsed, and a lot of ambiguities can also be avoided.