CFSM模型的有限自动机语义.pdfVIP

V ol. 27 N o. 5 华　东　理　工　大　学　学　报　　　　　 200 1210 Jo urnal of Ea s t C hina U niver sit y of Science and Techno lo gy　　　　　 437 　　文章编号 1006 23080 (200 1) 05 20437 205 CF SM 模 型 的 有 限 自 动 机 语 义 吴正湘, 　虞慧群 3 (华东理工大学计算机科学与工程系, 上海 2 0023 7) 　　摘要 研究CF SM 模型的 自动机语义, 提 出一种从 CF SM 到 自动机转换的算法。该算法的核心 思想是构造一个包含控制 自动机、输入 自动机、输 出自动机 的有限状态 自动机系统, 利用自动机的 同步性模拟 C F SM 的异步行为。本文 的工作为进一步利用自动机理论和工具对 CF SM 模型进行分 析和验证奠定了基础。 关键词 软硬件协作设计; CF SM 模型; 有限状态 自动机; 语义 中图分类号 T P31 1 文献标识码 A - F in ite A u tom a ta ba sed Sem an t ic s of C FSM M odel 3 2 , 　 2 W U Zh eng x iang YU H u i qun ( ) D ep a r tm en t of C omp u ter S cience a nd E ng in eer ing E CU S T , S h ang h a i 2 0023 7, Ch ina Ab str a ct Th is p ap er ana ly ses the sem an t ics o f C F SM m od el an d p rov id es an a lgo r ithm o f t ran sfo rm in g a C F SM m o d el to fin ite au tom a ta. T h e m ain id ea is to sim u late th e asyn ch ronou s b ehav ior s o f C F SM by con st ru ct in g som e syn ch ronou s au tom a ta in clu d in g a m ain con tro lle r au tom a ton , som e inp u t au tom ata an d som e ou tp u t au tom at a. T h e resu lt p aves t he w ay fo r fu rth er an a ly sis and v er if ica tion o f CSFM m o del s in te rm s o f t r ad it iona l fin ite au tom a ta. K ey wor d s h ar dw a re2sof tw ar e co 2des ign ; CF S