基于运算级数和树型结构的数学表达归一化方法.docxVIP

基于运算级数和树型结构的数学表达归一化方法 数学表的识别是创建操作集的一项重要技术，包括计算机输入、存储和识别数学表的计算机。数学表的计算机输入技术相对成熟，如word中的公式过滤器、mathml等。此外，它还提供了基于数学公式输入技术的数学公式识别技术，但这些识别主要是基于数学公式的计算。首先，提取数学表的基元（公式中包含数学意义，不能分为最小单元，即公式中的数据或运算符），并对数据变量进行分配以完成数学表的操作。然而，识别数学表的准确性也是作业批改中不可或缺的任务。这就要求计算机能够识别输入短语的逻辑表的准确性，例如在输入短语和正确短语之间进行匹配和识别。然而，在这方面的研究报告很少。 基于数学表达式输入技术的数学表达式匹配识别的两个关键问题是数学表达式的拆分与归一化.数学表达式的拆分技术包括上述文献中表达式基元的识别提取和表达式树型结构的构建,归一化技术即是将数学表达式的原树型结构形式转换成一种便于匹配的规则树型结构形式,再在此规则树型结构的基础上组合成新的数学表达式.文献先将数学表达式的树型结构变换成规则化的树型结构,再对该规则树结构进行“结构相容”式的识别,即对运算符和数据类型进行匹配识别.但它没有对具有交换律性质的数学表达式进行规则化研究,文中方法不能精确识别运算内涵相同而运算基元排列顺序不同的数学表达式. 笔者提出一种基于运算优先级和树型结构的数学表达式归一化方法.