时间ω-树自动机识别语言的一个条件

• 作者: 周清雷 朱维军 赵东明
• 来源期刊: 信阳师范学院学报（自然科学版）
• 学科: 工学
• 关键词: 时间ω-树 时间树自动机 识别语言
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 基础理论研究
• 页码范围: 395-398
• 页数: 4页
• 分类号: TP301.1
• 字数: 4599字
• 语种: 中文
• DOI: 10.3969/j.issn.1003-0972.2006.04.007

摘要

时间自动机被广泛用于实时系统验证和模型检验.为适应不同类型的系统验证需要, 不少时间自动机的相关模型被提出.时间树自动机是这样的新模型之一.目前主要是针对时间树自动机识别的语言类及相关性质的研究.本文提出了时间树自动机识别语言的一个条件,并证明了结论的正确性.如果一个语言不能满足该条件,它一定不能被时间树自动机识别.这为证明一个具体语言不能被时间树自动机识别提供了思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周清雷	解放军信息工程大学信息工程学院	109	475	10.0	16.0
3	赵东明	郑州大学信息工程学院	18	49	4.0	6.0
4	朱维军	郑州大学信息工程学院	46	121	6.0	9.0