| 时间ω-树自动机识别语言的一个条件 |
| |
| 引用本文： | 周清雷,朱维军,赵东明.时间ω-树自动机识别语言的一个条件[J].信阳师范学院学报(自然科学版),2006,19(4):395-398. |
| |
| 作者姓名： | 周清雷 朱维军 赵东明 |
| |
| 作者单位： | 1. 解放军信息工程大学,信息工程学院,河南,郑州,450002;郑州大学,信息工程学院,河南,郑州,450052
2. 郑州大学,信息工程学院,河南,郑州,450052 |
| |
| 基金项目： | 国家自然科学基金资助项目(69873040) |
| |
| 摘 要： | 时间自动机被广泛用于实时系统验证和模型检验.为适应不同类型的系统验证需要,不少时间自动机的相关模型被提出.时间树自动机是这样的新模型之一.目前主要是针对时间树自动机识别的语言类及相关性质的研究.本文提出了时间树自动机识别语言的一个条件,并证明了结论的正确性.如果一个语言不能满足该条件,它一定不能被时间树自动机识别.这为证明一个具体语言不能被时间树自动机识别提供了思路.
|
| 关 键 词： | 时间ω-树 时间树自动机 识别语言 |
| 文章编号： | 1003-0972（2006）04-0395-04 |
| 收稿时间： | 2006-04-28 |
| 修稿时间： | 2006年4月28日 |
A Condition of Timed ω- tree Automata Recognizing Language |
| |
| ZHOU Qing-lei,ZHU Wei-jun,ZHAO Dong-ming.A Condition of Timed ω- tree Automata Recognizing Language[J].Journal of Xinyang Teachers College(Natural Science Edition),2006,19(4):395-398. |
| |
| Authors: | ZHOU Qing-lei ZHU Wei-jun ZHAO Dong-ming |
| |
| Institution: | 1. School of Information Engeering, PLA Information and Engeering University, Zhengzhou 450002, China; 2. School of Information Engeering,Zhengzhou University,Zhengzhou 450052, China |
| |
| Abstract: | In order to verify and model checking real-time system,various models have been suggested such as timed tree automata.The theory of timed tree automata is far from perfect now.The classes of languages and their relationship have been discussed.This paper proposes a condition of timed tree automata recognizing language,proves the correctness of its.If a language can not satisfy the condition,it mustn't be accepted by a timed tree automata.It is a potential way to approve a language being a non timed tree regular language. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
