CFSM模型的有限自动机语义
Finite Automata-based Semantics of CFSM Model
-
摘要: 研究CFSM模型的自动机语义,提出了一种从CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统,利用自动机的同步性模拟CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对CFSM模型进行分析和验证奠定了基础。Abstract: This paper analyses the semantics of CFSM model and provides an algorithm of transforming a CFSM model to finite automata. The main idea is to simulate the asynchronous behaviors of CFSM by constructing some synchronous automata including a main controller automaton, some input automata and some output automata. The result paves the way for further analysis and verification of CSFM models in terms of traditional finite automata.