CFSM模型的有限自动机语义  

Finite Automata-based Semantics of CFSM Model

作　　者：吴正湘[1] 虞慧群[1] 

机构地区：[1]华东理工大学计算机科学与工程系,上海200237

出　　处：《华东理工大学学报（自然科学版）》2001年第5期437-441,共5页Journal of East China University of Science and Technology

基　　金：教育部高等学校骨干教师资助计划 ;国家自然科学基金资助项目 ( 6 970 30 0 8;6 990 30 0 4) ;国防科技重点实验室基金资助项目 ( 99JS94.10 .1.DZ42 0 1)

摘　　要：研究 CFSM模型的自动机语义 ,提出一种从 CFSM到自动机转换的算法。该算法的核心思想是构造一个包含控制自动机、输入自动机、输出自动机的有限状态自动机系统 ,利用自动机的同步性模拟 CFSM的异步行为。本文的工作为进一步利用自动机理论和工具对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.

关 键 词：软硬件协作设计 CFSM模型 有限状态自动机 语义 自动化理论 扩展模型 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]