• 反链

  • 引用了30篇文章【sw20208】
  • 通用性检验算法不确定性有限的自动机. 与标准算法相比。。。解决的语言包含问题不确定性有限的自动机,以及交替的空问题。。。
  • J襟翼

  • 参考12篇文章[sw10334]
  • 形式语言主题包括不确定性有限的自动机,不确定性下推自动机多带图灵机,几个。。。
  • 阿莫尔

  • 参考12篇文章【sw20980】
  • 自动机(包括启发式最小化不确定性 自动机),语言操作(例如布尔运算和正则运算。。。
  • ltl2dstar公司

  • 引用4篇文章[sw21007]
  • 萨弗拉的建筑翻译不确定性比奇自动机(NBA)到确定性的拉宾自动机,这。。。
  • 计数图案

  • 引用3篇文章[sw14363]
  • 序列。一种基于确定性有限元的算法自动机(DFA)和马尔可夫链嵌入。。。使用的此算法的版本不确定性有限的自动机(NFA)而不是DFA来执行。。。
  • ltl3tela公司

  • 1条引用[sw37532]
  • 形式主义也被称为弱交替自动机(VWAA)。他们经常被使用。。。将LTL转换为确定性or不确定性 自动机. 本文考虑了具有泛型转换的SLAA。。。一般接受的SLAA产生的产量要小得多自动机比以前把LTL翻译成Büchi。。。产生小的确定性或不确定性转型型艾默生·雷自动机对于给定的LTL公式。。。
  • 苏西娜

  • 1条引用[sw14771]
  • 主管综合信息不确定性 自动机(苏西娜)工具。它包含。。。
  • Liffte公司

  • 引用2篇文章[sw28241]
  • 使用确定性有限元法进行排序自动机(DFA)正则表达式的表示,这意味着。。。从加密开始不确定性有限的自动机(NFA)正则表达式。什么时候。。。
  • 混合创造

  • 引用2篇文章[sw20138]
  • 混合的自动机计算非线性系统可达集的过逼近,不确定性动态。。。HyCreate的用户指定一个混合自动机通过界面,使用标准的混合自动机。。。
  • 甘尼法

  • 引用3篇文章【sw30816】
  • 有限元生成算法的可视化探索自动机在网上。在以前的文章中。。。常用词组或输入词不确定性分别是确定性的。为了克服。。。用于可视化算法的Java应用程序自动机理论。它可以从我们的。。。
  • 二元多元关系

  • 1条引用[sw32214]
  • 自动机游戏的模型和逻辑,双重恶魔和天使的程序语义不确定性选择。。。
  • 差距

  • 在2974篇文章中引用[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 圣杯

  • 引用21篇文章[sw00374]
  • 圣杯是一个符号计算环境有限。。。
  • 语言

  • 在38篇文章中引用[sw00501]
  • 语言:一个枫树软件包,用于自动描述。。。
  • 超小卫星

  • 引用547篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。