• XDuce公司

  • 参考第54条[sw12436]
  • 文件及其类型(所谓有规律的 表达类型)直接对应于文档架构。导出。。。还提供了一种灵活的有规律的 表达模式匹配,集成条件分支,标记检查。。。描述它的理论基础有规律的树自动机,并提出一个完整的形式。。。
  • 图形

  • 引用31篇文章[sw20098]
  • 数据库中的边或路径。常规 表达用于限定这些路径。。。
  • 圣杯

  • 引用19篇文章[sw00374]
  • 有限状态机的计算环境,有规律的 表达以及其他形式语言理论的对象。使用。。。圣杯,你可以输入机器或表达,将它们从一种形式转换为另一种形式。。。操作可参数化的有限状态机和有规律的 表达. “参数化”是指字母表。。。有限状态机或有规律的 表达. Grail的2.4版本支持Mealy机器。。。
  • 规则集

  • 在14篇文章中引用[sw28793]
  • 建筑图书馆有规律的 表达和语言。Kleene提供了串联操作。。。语言的星和导数。常规 表达并对其含义进行了界定。一个可执行的等价物。。。检查有规律的 表达它不需要自动机而是直接工作。。。有规律的 表达. 通过映射有规律的 表达对于二元关系,给出了一种自动完整的证明方法。。。
  • nSPARQL

  • 引用13篇文章[sw11895]
  • 上一篇论文有规律的 表达适用于导航RDF数据,我们有。。。RDF语言,它使用嵌套有规律的 表达作为积木。在本文中。。。表现力嵌套的组合有规律的 表达和SPARQL运算符。关于评估的复杂性。。。一个嵌套的有规律的 表达在RDF图上。。。
  • 阿莫尔

  • 参考12篇文章【sw20980】
  • 用自动机、幺半群和常规 表达. AMoRE是自动机理论算法的一个实现。。。其中:折算有规律的 表达在有限自动机中,自动机的确定和最小化(包括。。。非确定性自动机),语言操作(例如布尔和有规律的运算,商,洗牌产品),性能测试。。。
  • AWK公司

  • 17条引用[sw23781]
  • 和按字符串索引的数组)有规律的 表达. 虽然AWK的预期用途有限。。。
  • 米希尔尼禄

  • 在10篇文章中引用[sw28547]
  • Myhill Nerode定理基于有规律的 表达. 有很多关于有规律的语言。很多。。。它们都不是归纳数据类型。常规 表达可以直接定义为数据类型。。。定理——只能用有规律的 表达. 从这个定理许多闭包性质。。。
  • J襟翼

  • 参考12篇文章[sw10334]
  • 最小状态DFA到a有规律的 表达有规律的语法。单击此处了解更多信息。。。
  • MSO_Regex_等价

  • 参考7篇文章[sw32230]
  • 基于派生词的单词常规 表达. 有限字上的一元二阶逻辑。。。基于自动机但基于有规律的 表达. 决策程序有规律的 表达等价物已经。。。直接将MSO公式嵌入到有规律的 表达扩展有规律的 表达带着。。。等价性检验的完备性有规律的 表达以那种方式延伸。我们还定义。。。
  • 正则表达式等价

  • 参考6篇文章[sw32229]
  • 统一决策程序常规 表达式等效性。我们形式化了一个统一的框架来验证决策。。。程序有规律的 表达等效性。最近出版的五个此类决策程序的形式化(三个基于。。。导数,两个在标记上有规律的 表达)可以作为框架的实例。。。基于标记的方法有规律的 表达,以前被认为是一样的。。。
  • 阿格里普

  • 参考11篇文章[sw15546]
  • 搜索字符串或有规律的 表达,具有近似匹配功能和用户可定义的记录。。。
  • 通过

  • 参考7篇文章[sw21858]
  • 字符串,并将字符串约束转换为量化表达通过消除量词来解决。。。要处理的自动机模型有规律的 表达更快地解释字符串值。我们的方法是。。。字符串和字符串比较有规律的 表达. 实验结果证明了该方法的优越性。。。
  • GraphGrep公司

  • 在10篇文章中引用[sw18891]
  • GraphGrep的接口是有规律的 表达图形查询语言Glide,结合了来自。。。
  • LFR工具箱

  • 在26篇文章中引用[sw04756]
  • 离散时间不确定模型,有规律的和奇异参数表达,更一般的不确定性块(非线性,时间。。。
  • 比希德

  • 引用9篇文章[sw12667]
  • 具体来说,我们(1)采用XDuce风格有规律的 表达描述和分析XML结构的模式。。。
  • 一瞥

  • 引用9篇文章[sw23326]
  • 允许拼写错误),甚至搜索有规律的 表达. 从某种意义上说,一瞥延伸了一个。。。
  • 正则表达式计数

  • 参考6篇文章[sw00792]
  • 计数问题的符号包有规律的 表达还有文字。在以前的作品中。。。与单词和匹配的统计有规律的 表达在伯努利或马尔科夫生成的文本中。。。
  • 汉比

  • 引用19篇文章[sw09864]
  • 发现者,智能模糊者。汉皮约束表达会员有规律的语言和有界上下文无关语言。。。
  • 雷克斯

  • 引用4篇文章[sw11888号]
  • 象征的有规律的 表达探险家。表单中的约束有规律的 表达弦上到处都是。它们发生了。。。应用。为…提供支持有规律的 表达程序分析和测试中的约束有几个有用的。。。象征性地表达分析有规律的 表达限制。Rex是使用SMT求解器实现的。。。