排序方式: 共有4条查询结果,搜索用时 31 毫秒
1
1.
论述了最近10多年有限自动机重置问题在算法方面的研究进展.首先形式定义一些基本概念和四个有关重置的问题,给出这些问题的计算复杂性结果;然后回顾了2008年前的算法发展历程和若干结论;接着将2008年后的算法分为判定自动机是否可重置的基本算法、短重置字求解算法和最短重置字求解算法三类,分别对各个算法背后的思想、复杂度、生... 相似文献
2.
研究了非确定有限自动机的最短D1-同步字的计算问题.针对这种自动机定义了D1W问题及其参数化版本问题p-D1W和最优问题shortest-p-D1W,证明了p-D1W和shortest-p-D1W分别属于para-NP和para-DP.利用均匀分布模型随机生成大量的非确定的有限自动机进行实验,结果表明:在定长的参数下几... 相似文献
3.
以定义事件驱动型系统需求的SCR方法和时序逻辑为基础,提出了一种能够根据SCR方法与时序逻辑之间的语义联系和时序逻辑的推理能力有效地检查用SCR方法定义的事件驱动系统的需求分析方法。为便于理解,还给出了一个简单的例子来介绍如何分析和检查用SCR方法定义的需求的有效性。 相似文献
4.
由于De Marco的数据流图缺乏形式化的描述方法,本文提出了一种使用的综合知识表示模型MAS来形式化描述DDFD的新方法。使用此方法,能方便地建立一些有关DDFD的知识规则,并能对DDFD自动进行一致性和完全性检查。 相似文献
1