有限状态自动机（FSA）是计算理论和本科计算机科学教育中的一个基本概念。然而，由于学生抽象的、理论性的。。。

在本文中，我们描述了SeqCheck，这是一个模型检查工具，它允许我们研究交互系统的某些属性是否成立。这些属性使我们能够确定交互系统的交互序列模型是否重叠。。。

现有的JavaScript静态分析器使用常量传播域来分析字符串。这些域的简单性导致了在处理诸如动态属性访问之类的功能时会严重降低精确度。本文介绍了一个字符串。。。

正则表达式到有限状态自动机的转换以及有限状态自变量到正则表达式的转换是自动机理论的一个重要研究领域。引入了正则表达式导数的概念，以使。。。

为现代计算机网络设计一个高效且可扩展的数据包过滤器变得越来越具有挑战性：更快的链路速度，封装规则数量的稳步增加（例如隧道），以及精确隔离数据包的必要性。。。

我们将考虑配备有有限下推恒定高度npdas和dpdas的非确定性和确定性自动机，以及它们的双向版本恒定高度2npdas和2dpdas。我们显示了这些设备的两个双指数差距。。。

有限状态机（FSM）是一种抽象的计算数学模型，用于设计计算机程序和时序逻辑电路。FSM被视为一种抽象的计算模型，其计算能力较弱；它的计算能力比某些。。。

我们描述了一种从实例列表中提取拼写变化的新方法。它将不同的中缀与引用单词的不同中缀联系起来。独特的中缀是从一个（多个）。。。

单元测试是业务流程开发生命周期中确保产品可靠性和可靠性的关键步骤。虽然已经提出了大量的WS-BPEL单元测试方法，但其中只有少数是设计和实现的。。。

最近，人们对设计有效的算法来测试语言是否X（X）是一个代码，产生于（湿）DNA计算。实际上，在这种情况下，最终的计算是DNA链（单词）的串联，必须。。。

我们研究转换的描述性成本定高非确定性下推自动机等效确定性设备。我们给出了这种转换的双指数上界和超指数下界。

图是用于表示各种数据对象的最流行的非线性数据结构之一。这些图形结构可以进一步分为有向图表示和无向图表示。为了建模，UML采用了。。。

有限迹上的线性时态逻辑（LTL）已被证明是分析和实施基于约束的灵活业务流程的良好基础。<em>声明</em>语言和系统在此基础上受益。此外，基于LTL的语言。。。

在本文中，我们提出了一种新的基于agent的人类行为仿真模型。为了模拟基于感知的人类行为，提出了一个基于生态定义的人类行为模拟概念框架。。。

当语言技术（LT）依赖于以前的语言资源（LR）开发时，它表现良好。因此，本文阐述了如何在自然语言一致形式化的基础上，在数据挖掘系统中构建高效的数据挖掘系统。。。

研究了离散时间随机混合系统（DTSHS）对线性时间目标的定量验证。中心问题是确定DTSHS中所有轨迹被。。。

医疗评分和测量是临床笔记的一个非常重要的部分，因为临床工作人员通过分析患者的状态，特别是其随时间的变化来推断患者的状态。我们设计了一个主动学习过程，用于快速训练发动机。。。

尽管UML被广泛采用作为软件系统建模的标准，但它并没有为指定用户界面（UI）需求提供足够的支持。单独使用UML用例来指定。。。

为了解决普适计算中的服务组合问题，并为IGRS泛在设备提供互操作和协作的能力，我们设计了基于IGRS协议的动态服务组合中间件UDIO。在。。。

对于每个足够大的N个，存在一元正则语言L（左）这样两者都可以L（左）及其补充L（左）^c（c）被毫不含糊的不确定自动机接受，最多N个状态，而这两种语言的最小确定性自动机。。。