时间ω-树自动机识别语言的一个条件
周清雷[1,2] 朱维军[2] 赵东明[2]
[1]解放军信息工程大学信息工程学院,河南郑州450002 [2]郑州大学信息工程学院,河南郑州450052
摘 要:
时间自动机被广泛用于实时系统验证和模型检验．为适应不同类型的系统验证需要。不少时间自动机的相关模型被提出．时间树自动机是这样的新模型之一．目前主要是针对时间树自动机识别的语言类及相关性质的研究．本文提出了时间树自动机识别语言的一个条件，并证明了结论的正确性．如果一个语言不能满足该条件，它一定不能被时间树自动机识别．这为证明一个具体语言不能被时间树自动机识别提供了思路． (共4页)
学科分类:
TP301.1[工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 理论、方法 > 自动机理论]参考文献+更多
关注本文的人:
看过本文的人还看过:
cqvip.com