论文部分内容阅读
本文利用泛代数的思想和方法研究自动机理论，建立了亚群和自动机的方程规范模型，把亚群和自动机定义为这种规范模型的代数。给出了规范代数可识别语言的定义，并讨论了和规范代数的同态及同余之间的关系。
自动机及其代数规范描述
【摘 要】
：
本文利用泛代数的思想和方法研究自动机理论，建立了亚群和自动机的方程规范模型，把亚群和自动机定义为这种规范模型的代数。给出了规范代数可识别语言的定义，并讨论了和规范代数
【机 构】
：
青岛大学数学系
【出 处】
：
青岛大学学报：自然科学版
【发表日期】
：
2000年1期
其他文献
我国建设工程质量政府监督管理行业特征和市场环境形成了政府质量监督效率不高的现状，其中监督费率政策直接影响监督机构工作积极性和政府质量监督管理的有效性。固定监督费率
对内燃机冷却及冷却风扇驱动系统进行了探讨;对现有内燃机水冷风扇驱动系统进行了分类,并说明了各自的特点;对内燃机冷却风扇温控液压驱动系统方案进行了分析和说明.
采用分子动力学模拟方法,从分子水平对磁化增注的机理进行了模拟研究.计算结果表明在优化磁感应强度范围内,水的表面张力系数和粘滞系数降低,使水的渗透性和流动性增强,达到
为解决支持向量机在分类识别前需要利用已知训练集进行训练的问题，本文提出了一种基于k均值的对无标识数据进行分类的支持向量机分类算法。首先利用k均值算法将未知数据划分成
应用量子化学计算法和前线轨道理论研究了中型氧化硅簇体系的结构和反应性，并从该理论研究出发，对一种新型的可以高产量生长纳米硅线的实验技术，即氧化硅辅助生长方法的生长机制
摘要:随着我国高速公路建设的迅速发展，工程质量将成为工程管理技术人员的首要问题。为此，本文作者结合多年的管理工作经验，主要就如何提高全员质量意识、加强施工质量控制、关注设计质量等方面进行了阐述。 关键词:高速公路施工质量控制管理 中图分类号：U415.12文献标识码：A 文章编号：1672-3791(2011)06(c)-0000-00 引言 我国自改革开放以来,公路建设取得了令世人瞩
摘 要:近年来,吉林省的竞技体育取得重大突破。继北京奥运会实现金牌零的突破之后,在2010年温哥华冬奥会上又实现了冬奥会金牌“零”的突破,这标志着我省在竞技体育上实现了质的飞跃。本研究将理论、政策和吉林省实际紧密结合,研究方法上运用管理学的SWOT分析方法,将结构性静态分析和功能性动态研究紧密结合,在准确的把握吉林省竞技体育可持续发展的态势的基础上,提出具有可操作性的对策措施,对吉林省竞技体育的可
O/W（水包油型）微乳液是农药微乳液的三种类型中的其中一种,作为农药药物载体,能够很好的制造出环保性强的绿色农药,减少农药对于环境的损害和人类自身健康状况的危害。本文主要
分析了船舶火灾报警系统中影响可靠性的因素。提出了基于CAN总线的船舶火灾报警系统的设计方法，即通过数字滤波和软件陷阱等措施来提高系统的可靠性。实际应用表明，采用这一设