【摘 要】
：
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了
【机 构】
：
陕西师范大学数学与信息科学学院; 陕西师范大学计算机科学学院;
【基金项目】
：
国家自然科学基金(11271237,11226266);陕西师范大学科研启动基金(999553)
论文部分内容阅读
给出量子Müller自动机(简称LVMA)的概念,通过引入量子有限步可识别语言和量子状态构造方法,证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价.利用该等价性,建立了量子无穷正则语言的代数刻画和层次刻画,籍此研究了量子无穷正则语言关于无穷正则运算的封闭性.同时,给出了量子Müller自动机所识别语言的单体二阶逻辑描述,深化和推广了量子逻辑意义下的Büchi基本定理.
其他文献
目的:抗血小板聚集治疗在缺血性心脑血管疾病中的预防作用已被证实,随着抗血小板聚集药物的广泛应用,相关上消化道黏膜损伤的发生呈显著上升趋势。如何有效的预防抗血小板药
宗族是祖先崇拜的载体,祖先崇拜加强了宗族的血缘认同。祖先崇拜具有世俗性和宗教性双重属性,它还具有私人性和公共性的特征。私人性是公共性的实践基础,公共性又为私人性提
对燃气蒸汽联合循环(GSCC)余热制冷进气冷却系统的国内外实践及理论研究概况作了述。基于动力机械变工况特性解析理论的应用,提出 GSCC余热制冷进气冷却系统的变工况特性解析
目的:比较骨质疏松患者和非骨质疏松患者碱性磷酸酶水平、骨密度变化以及种植体稳定性,探究骨质疏松患者能否取得良好的种植预后。方法:选自2015年2月以来在新疆医科大学第一
<正> “夜色明如水,嗟尔困不伸。百年原是梦,卅载枉劳神。室暗难挨算,墙高不见春。星辰环冷月,累绁泣孤臣。对景伤前事,怀才误此身。余生料无几,辜负九重仁。” 这是大贪官和
<正> 小儿皮疹之多,每天门诊总会见到数名。皮疹为小儿常见的一种病症,也是多种疾病的共有表现。因其病因不同,其后果的严重程度也不一样。家长们对小儿皮疹的由来有个了解,
合理运用阅读教学策略不仅有助于学生对语言知识的全面掌握而且有助于其阅读能力的培养和提高。本文以SEFC Book2A中的课文为分析对象,详细阐述了合作阅读教学策略(CSR)的具
目的:探讨舒适护理在乳腺癌术后化疗患者中的应用方法及效果。方法:将436例乳腺癌术后化疗患者按入院时间随机分为对照组192例和实验组244例,对照组给予常规护理,实验组在此
<正>乳腺癌是一种严重影响妇女身心健康的疾病,术后化疗又是主要的治疗方法之一,化疗药物在杀伤肿瘤细胞的同时对人体正常组织细胞也具有杀伤力,给患者身心带来极大的痛苦。
目的 :评价肩关节镜下线桥技术治疗肩袖损伤的临床疗效。方法 :回顾性分析2012年12月至2013年12月采用关节镜下线桥技术修复肩袖损伤30例的手术效果,其中男14例,女16例;年龄5