论文部分内容阅读
文中给出了广义正规自动机上L关系的定义。由此出发刻画了广义标准自动机,即L是等价关系的广义正规自动机。证明了L是广义标准自动机上的同余关系,并给出了商自动机A/L是循环自动机的刻画。
广义标准自动机及其商自动机
【摘 要】
：
文中给出了广义正规自动机上L关系的定义。由此出发刻画了广义标准自动机,即L是等价关系的广义正规自动机。证明了L是广义标准自动机上的同余关系,并给出了商自动机A/L是循环
【机 构】
：
空军工程大学基础部,西安外国语大学金融学院,西藏民族大学教育学院
【出 处】
：
西北大学学报：自然科学版
【发表日期】
：
2018年2期
【基金项目】
：
国家自然科学基金资助项目(11661073,61402364),西藏自治区自然科学基金资助项目(2016ZR-15-19)
其他文献
互联网的意义之所以远远超过了一般的通讯工具，一个重要的原因是：它提供了一个虚拟空间，犹如现实世界的镜像和延续。但虚拟空间是一种“没有重量的生存”，虚拟空间是一个迥异于传
iRMX是实时多任务操作系统。iRMX286操作系统为Intel 16/32位单板机构成的微机系统提供了实时多任务的工作环境。本文从原理上简明地介绍了iRMX的开发环境,用实例介绍了一种
新疆特色林果产业对提高当地农民收入、稳定边疆具有重要的意义。近年来,在自治区政府的支持下,新疆特色林果种植面积迅速增加,规模化果园相继出现,由此带来的劳动力不足、生
RTU操作系统是一种工作于多处理器环境的增强的UNIX系统。它不仅与unix系统V和BSD4.2兼容,而且增加了独特的实时和并行处理能力。为此,它的文件系统也作了相应的扩充。本文主
研究了深冷处理对ＧＣｒ１５轴承钢和Ｗ９Ｍｏ３Ｃｒ４Ｖ高速钢组织和性能的影响。结果得出：ＧＣｒ１５钢冷处理后在－１２０℃等温下可获得最高硬度，深冷处理时得到的马氏体以短而粗的片状马氏体为主。Ｗ９Ｍｏ３Ｃｒ４Ｖ钢铣刀在正常热处理后的
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
根据常减压蒸馏装置腐蚀环境的体系特点,合成了一种耐酸性强的高效缓蚀剂HS-1,并与目前炼厂使用的2种缓蚀剂HS-2和HS-3进行了对比。通过静态和动态挂片失重实验,对3种缓蚀剂
习近平总书记在2018年9月全国教育大会上指出:“要努力构建德智体美劳全面发展的教育体系,形成更高水平的人才培养体系。”“要在学生中弘扬劳动精神,教育引导学生崇尚劳动、
分布式计算机控制系统是当前工业过程中一种比较理想和先进的自动监测和控制系统。本文具体介绍两个分布式微机监控系统的应用实例:电网微型机监控与调度自动化系统和煤矿安