迪恩帕尔

dyngepar——通用数学语言的动态广义解析器。本文介绍了一种主要针对普通自然数学语言的动态广义解析器。我们的算法结合了GLR解析的效率、无表方法的动态扩展性和扩展的上下文无关文法(如并行多上下文无关文法)的表达能力。特别是,它支持在任何时候对语法进行有效的动态规则添加。该算法是以完全增量的方式设计的,允许在不重新启动解析过程的情况下使用额外的令牌继续解析,并且可以预测可能的下一个令牌。另外,我们按照规则处理令牌上的约束。这允许在使用单词标记时语法正确的英语不定冠词。它还可以表示无扫描解析的典型操作,例如处理字符标记时的最大匹配。我们的长期目标是使用新的解析器,从教科书或全球数字数学图书馆(DML)项目收集的论文中的自然语言输入开始,将现有数学知识库计算机化。在本文中,我们提出了我们的方法背后的算法思想,给出了一个简短的实现概述,并给出了一些有效的结果。新的解析器可以在url{http://www.tigen.org/kevin.kofler/fmathl/dyngepar/}上找到。