时间自动机两种模型的构造互模拟研究

• 作者: 周清雷 朱维军 李琳娜 王迤冉
• 来源期刊: 微电子学与计算机
• 关键词: 双向时间自动机 事件时钟自动机 事件记录自动机 事件预测自动机
• 年，卷（期）: 2007,（1）
• 页码范围: 156-158,161
• 页数: 4页
• 分类号: TP301.1
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2007.01.045

摘要

基于时间自动机不同模型的验证被工业界广泛应用,本文形式描述了两种这样的模型,给出了从事件时钟自动机到双向时间自动机的构造方法,证明了二者识别语言之间的包含关系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	郑州大学信息工程学院	109	475	10.0	16.0
2	王迤冉	周口师范学院计算机科学系	82	248	8.0	12.0
3	李琳娜	北京科技大学信息工程学院	6	31	3.0	5.0
4	朱维军	郑州大学信息工程学院	46	121	6.0	9.0