【摘 要】
：
给出量子Müller自动机（简称LVMA）的概念，通过引入量子有限步可识别语言和量子状态构造方法，证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价，利用该等价性，建立
【机 构】
：
陕西师范大学数学与信思科学学院,陕西师范大学计算机科学学院
【基金项目】
：
国家自然科学基金（11271237,11226266）,陕西师范大学科研启动基金（999553）
论文部分内容阅读
给出量子Müller自动机（简称LVMA）的概念，通过引入量子有限步可识别语言和量子状态构造方法，证明了在量子逻辑意义下4类量子Müller自动机彼此相互等价，利用该等价性，建立了量子无穷正则语言的代数刻画和层次刻画，籍此研究了量子无穷正则语言关于无穷正则运算的封闭性．同时，给出了量子Müller自动机所识别语言的单体二阶逻辑描述，深化和推广了量子逻辑意义下的Büchi基本定理．
其他文献
乌鲁木齐县水西沟煤矿区煤质为31号不粘煤,具有煤层厚,煤质好,煤层储量大等特点,是新疆煤矿的重要产地,研究该区的地层及构造特征对该区后期煤田地质勘查及煤矿开采具有重要
容错是硬实时系统的关键能力,容错调度算法可以在有错误发生的情况下满足任务的实时性需求.在主副版本机制的容错调度算法中,主版本出错后留给副版本运行的时间窗口小,副版本
在中职数学课堂教学中,片面强调教师与学生任何一方的主体性,都不利于学生的学习,也不利于师生的共同发展.在教学过程中,既应尊重学生的主体地位,又应重视教师的主导作用,并
农村教育的内涵在不同时期有不同的阐述,研究者从不同的角度对此纷纷发表自己的观点.并根据学术界的不同观点得出我国农村教育的真正内涵.
航道的通航安全是船舶安全航行和沿岸港口可持续发展的重要保障。在航道通航安全的研究中，影响航道通航风险的相关影响因子较多。为了避免出现信息重叠，本文通过分析航道通航风
插齿机接刀杆是连接刀具与插齿机主轴的载体,接刀杆的安装精度直接影响了插齿机的加工精度,插齿机在出厂时通过调节接刀杆圆盘部分端面的螺母松紧程度使接刀杆发生形变而使其
通过文献资料、实地访谈等方法对重庆健身俱乐部健美操指导员继续教育市场出现的问题，对社会体育指导中心主管部门管理方面提出建议．为规范重庆健身俱乐部健美操指导员继续教育
在中专物理教学中,教师要改革传统的灌输教学理念,树立学生主动发展的教学理念,在所创设的物理情境中开展合作式教学和交互式教学,建立新的课堂教学模式.
近年来,随着经济结构的调整和生产方式的变革,我国出现了本科毕业生就业难及市场所需的各种技术技能型人才供给不足的现象,即媒体高频出现的＂就业难＂和＂技工荒＂并存的问题,由此催
视同销售业务在会计处理上涉及到是否缴纳流转税和企业所得税的问题,其本身并不复杂,但由于在企业会计准则和相关税法规定中对视同销售含义并不是很明确,同时视同销售种类比