DReX公司 swMATH ID: 16949 软件作者: 拉吉耶夫,阿卢尔;Loris D'Antoni;穆昆德·拉戈塔曼 描述: DReX:一种声明性语言,用于有效评估常规字符串转换。我们介绍了DReX,这是一种声明性语言,可以表达所有常规的字符串到字符串的转换,并且仍然可以有效地进行评估。这类正则字符串转换有坚实的理论基础,包括多重特征、闭包属性和可判定分析问题,并允许许多字符串操作,如插入、删除、子字符串交换和反转。最近的研究已经导致了使用一组基本的函数组合子来描述正则字符串转换的特征,类似于使用正则表达式定义正则语言。虽然这些组合子构成了本文提出的DReX语言的基础,但我们的主要技术重点是在给定输入字符串上评估DReX程序输出的复杂性。事实证明,自然评估算法涉及动态编程,导致输入字符串长度的复杂性为三次方。我们的主要贡献是确定了DReX程序中组合子使用的一致性限制,以及具有时间复杂度的一致性程序的单程评估算法,该算法在输入字符串长度上是线性的,在程序大小上是多项式的。我们证明了一致性限制并没有限制表达性,并且可以有效地检查DReX程序是否一致。我们报告了一个原型实现,并使用一组具有代表性的文本处理任务对其进行评估。 主页: http://dl.acm.org/citation.cfm?doid=2676726.2676981 关键词: 声明性语言;DReX公司;字符串转换 相关软件: 蒙保利;卢斯特;洛拉;信号;副驾驶员;酯类;FoC公司 引用于: 4文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 DReX:一种声明性语言,用于有效评估常规字符串转换。 Zbl 1345.68032号拉杰夫·阿鲁尔;洛丽斯·达安东尼;穆昆德·拉戈塔曼 2015 全部的 前5名8位作者引用 1 拉杰夫·阿鲁尔 1 劳拉·博泽利 1 洛丽斯·达安东尼 1 维伦达·戴夫 1 保罗·加斯丁 1 桑卡拉·纳拉亚南·克里希纳 1 穆昆德·拉戈塔曼 1 塞萨尔·桑切斯 2篇连载文章中引用 1 理论计算机科学 1 信息与计算 在3个字段中引用 4 计算机科学(68至XX) 1 总体主题;集合(00-XX) 1 数理逻辑与基础(03-XX) 按年份列出的引文