【摘 要】
：
文中引入了单体二阶量子逻辑,进而给出了基于量子逻辑的有穷自动机识别语言的逻辑描述,证明了量子逻辑意义下的B(u|¨)chi-Elgot基本定理。通过引入星-自由量子语言与非周期
【基金项目】
：
国家自然科学基金(批准号:10573112,60873119);教育部高等学校博士点基金(批准号:200807180005)资助项目
论文部分内容阅读
文中引入了单体二阶量子逻辑,进而给出了基于量子逻辑的有穷自动机识别语言的逻辑描述,证明了量子逻辑意义下的B(u|¨)chi-Elgot基本定理。通过引入星-自由量子语言与非周期量子语言,完全刻画了可以用一阶量子逻辑定义的量子语言,得到了量子逻辑意义下的Sch(u|¨)tzenberger分类定理。另外,通过引入广义的子集构造方法,还给出了基于量子逻辑的有穷自动机的确定化形式,进而研究了基于量子逻辑的Kleene定理的表现形式。
其他文献
革命老区重庆市石柱土家族自治县石家乡，结合美丽乡村与文明创建工作，多措并举开展污水治理与改厕工作，推进乡镇“厕所革命”。
攀枝花地处金沙江上游,攀西裂谷中南段,境内高山峡谷,海拔和温度差度大,境内有41各少数民族,他们大部分处于高山或二半山区,生存环境恶劣。虽然攀枝花市委、市政府长期以来对
艾丽丝·门罗的短篇小说中,空间叙事对于情节的建构所起的作用不可估量。本文对《沉寂》进行文本细读,采用空间叙事理论,分析艾丽丝·门罗利用空间叙事来书写时间、刻画人物
目前,雷达的目标跟踪定位、卫星的测控定轨等对大气折射误差高精度修正的要求越来越高。针对传统大气折射误差修正方法的成本高、实时性差等问题,研究利用对水汽和液态水含量
阿克苏纺织工业城为“林-水-城”格局，具有丰富的耕地、森林、水资源和深厚的民俗文化资源。规划设计以“丝路花雨”为设计主题，采用流畅及飘动的丝带、“盏开的棉花”及“一片
针对基于无线传感器网络构建的温室环境监控系统的整体性能受时变传输延时、丢包、网络拥塞、延时抖动等不利网络属性的影响,提出一种采用事件驱动机制的反馈调度策略。该反
我国司法解释在统一法律适用,完善法律体系方面发挥了重要的作用。我国司法解释体制具有自身的局限性,存在诸多弊端,需要重塑体制,予以改革完善。判例的引入是改革司法解释体
为了贯彻党的十六大精神和中共中央《关于促进农民增收若干政策的意见》,充分发挥农村基层党组织在增加农民收入,发展农村经济和建设现代化农业中组织领导作用,进一步夯实党
机载前视成像作为一种全新的成像雷达工作模式,与调频连续波技术的结合有着诸多的优势.本文以"一发多收"系统为研究对象,根据其成像几何模型给出了基于调频连续波的前视雷达
目的探讨青少年特发性脊柱侧凸的患者在包括手法在内的综合治疗前后的脊柱旁肌电活动特点。方法选择9例确诊的特发性脊柱侧凸的患者,在乳突下、C1、T1、T3、T6、T9、T12、L3