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

A Condition of Timed ω-tree Automata Recognizing Language

作　　者：周清雷[1] 朱维军[2] 赵东明[2] 

机构地区：[1]解放军信息工程大学信息工程学院,河南郑州450002 [2]郑州大学信息工程学院,河南郑州450052

出　　处：《信阳师范学院学报（自然科学版）》2006年第4期395-398,共4页Journal of Xinyang Normal University(Natural Science Edition)

基　　金：国家自然科学基金资助项目(69873040)

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

关 键 词：时间ω-树 时间树自动机 识别语言 

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