论文部分内容阅读
定义了有限自动机路代数的一个右理想，用以判断有限自动机状态的等价性及判断两个有限自动机之间的等价性，进而讨论循环有限自动机的等价性。
有限自动机的等价性与路代数
【摘 要】
：
定义了有限自动机路代数的一个右理想，用以判断有限自动机状态的等价性及判断两个有限自动机之间的等价性，进而讨论循环有限自动机的等价性。
【机 构】
：
毕节学院数学系
【出 处】
：
毕节学院学报：综合版
【发表日期】
：
2009年4期
【基金项目】
：
基金项目：毕节学院科学研究基金项目.项目编号：20082009.
其他文献
目的：探讨急性阑尾炎患者行腹腔镜阑尾切除术（laparoscopic appendectomy,LA）术后切口感染的发生状况。方法：选取2013年1月至2015年12月收治的680例行阑尾切除术的急性阑尾炎患者
摘要：随着我国工业发展水平的不断提升，重型运输直升机凭借其载重大、效率高等特点在军用领域以及民用领域当中都发挥了至关重要的作用，相关研究人员也应不断加强对重型运输直升机的研究力度。基于此，本文从重型运输直升机的重要作用与发展现状出发，对其传动系统构型加以分析，并以此为基础探讨了其构件尺寸大且结构复杂、输入转速较大、功率密度较大以及功率传递路径多等方面的技术特点。 关键词：重型运输直升机;传动系统
跨座式单轨列车-轨道梁系统的耦合振动问题涉及因素多,有待进一步研究。基于刚柔耦合理论建立跨座式单轨列车-轨道梁耦合动力学模型,以探讨不同轨道梁跨距和载重状态对系统响
目的：探讨腹腔镜肝叶部分切除术联合十二指肠镜、胆道镜治疗复杂性肝内外胆管结石的效果。方法：随机选取三镜联合治疗的复杂性肝内外胆管结石患者58例（观察组）与开腹手术治疗的复
设计了一种基于H.264压缩标准的远距离视频监控系统,详细给出了该系统的硬件与软件设计,并针对RTP流媒体网络数据传输中的若干问题给出了相应的解决方案。实践证明,系统运行
摘要：压紧式管接头是轨道交通车辆制动系统中常用的管接头类型之一，由于结构特性，压紧式管接头安装后主要通过管路回路设置固定支架防拔脱。为避免管接头脱落，管接头中的卡环进行了优化，设计了带齿结构，通过增大摩擦力来增强管接头的防拔脱性能。本文通过相应的拉伸试验，验证结构优化后的压紧式管接头安装后对管接头防拔脱性能的影响。 关键词：压紧式管接头;卡环优化;拔脱性能 中图分类号：TH131
表列（tableau）方法是一种形式证明的方法,具有良好的通用性,适用于经典逻辑和非经典逻辑的许多系统。表列方法对于各种逻辑系统的元理论的研究,也是一种有力工具。
目前，电力系统进入了一个全新的自动化时代，这是现代化发展的要求，而它这种发展也为现代新技术的发展和经济增长奠定了基础。利用新技术改善电力自动化系统，是未来发展的主要方向
随着社会经济与科技的不断推进,车辆的数量不断增多,这使得发动机故障问题较为常见,而气缸压缩压力这种测量方式在诊断中是非常有效的一种手段。对此,文章针对气缸压缩压力的
摘要：数控加工技术拥有非常优异的加工性能，在模具制造中有着非常广泛的运用。随着现代社会经济的不断发展，对模具制造精度要求越来越高，传统模具制造方式已经无法满足当下的加工需求，所以要在模具制造中充分融入数控加工技术。通过数控加工技术的运用，不仅有利于改善模具制造的精度，也有助于提高模具制造效率，甚至还能够实现模具制造的智能化转变。当下，数控加工技术在模具制造中的应用主要体现在数控铣加工、数控车加工、