【摘 要】
：
交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础
【机 构】
：
陕西师范大学数学与信息科学学院,陕西师范大学计算机科学学院
【基金项目】
：
国家自然科学基金(11671244,11271237),高等学校博士学科点专项科研基金(20130202110001)
论文部分内容阅读
交替(树)自动机因其本身关于取补运算的简洁性及其与非确定型(树)自动机的等价性,成为自动机与模型检测领域研究的一个新方向.在格值交替自动机与经典交替树自动机概念的基础上,引入格值交替树自动机的概念,并研究了格值交替树自动机的代数封闭性和表达能力.首先,证明了对格值交替树自动机的转移函数取对偶运算,终止权重取补之后所得自动机与原自动机接受语言互补这一结论.其次,证明了格值交替树自动机关于交、并运算的封闭性.最后,讨论了格值交替树自动机和格值树自动机、格值非确定型自动机的表达能力;证明了格值交替树自动机与格值
其他文献
随着战场环境的变化，头盔显示器将以其突出的优势逐渐取代平视显示器成为未来战斗机的主要显示器。本文论述了其关键技术的发展及现状．借鉴外军一系列试验的结论，综述了其作为主
探究式教学又称发现法、研究法,是指教师适时引导,让学生自己通过阅读、观察、实验、思考、讨论、听讲等途径去独立探究、自行发现并掌握某种概念、原理或结论的一种方法。在
人吃五谷杂粮,难免会头疼脑热.一旦生病,谁都希望尽快地得到明确无误的诊断、及时有效的治疗.
无愧人生——记解放军３０４医院呼吸科主任崔德健教授张献怀在解放军３０４医院肺功能室见到崔德健教授时，我怎么也不相信她已经是６０岁的人了。她既有女性的温柔，又有学者的儒雅，双目透发出生
理性消费的趋势正在增长，而只图一时之快的冲动购物转为精挑细选。2007春夏时尚的重点在于自由选择。
1997年11月，我从河南开封入伍。一身绿军装实现了参军报国的夙愿，我热爱部队，刻苦训练，经过半年多的努力，终于成了连队射击训练的尖子。 然而万没想到，一次意外的事件，却使爱枪如命
“朱亚红名师工作室”是基于学校教师发展的草根工作室，领衔人朱亚红系江苏省张家港市云盘小学校长，苏州市名教师。工作室成员共16人，其中特级教师1人，苏州市名教师1人，苏州市学科