排序方式: 共有1条查询结果,搜索用时 15 毫秒
1
1.
研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的同步性模拟 CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对 CFSM模型进行分析和验证奠定了基础 相似文献
1