幺半群-矩阵型自动机的商自动机

来源 :南京师大学报:自然科学版 | 被引量 : 0次 | 上传用户:punk123456
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文从两个幺半群之间的同态出发,构造自动机之间的满同态,得到自动机的同余关系,进一步,在状态集的商集上,重新构造新的自动机(即所谓商自动机),并阐述了所构造的自动机与满同态所对应的 自动机是同构的. 在此基础上,引入(n,S)-自动机上的所谓的J2?和屬关系,证明了这两个关系是可交换的.
其他文献
近年品来使,用随效着果市的场认和可用,户泥对炭泥市炭场和需泥求炭不类断产增加,从事泥炭、椰糠、木纤维及其产品引进、推广、生产和服务的企业不断增加,我国泥炭产业发展迅速。但是,由于行业发展过快,进入行业的企业较多,许多企业和从业人员对泥炭和泥炭产业了解不多,在产品命名和表达中出现了一些混乱,需要做必要的澄清,以便规范行业经营秩序,引领泥炭产业健康协调发展。
劳动异化论和人性异化论,是马克思和弗洛姆在深度剖析资本主义社会不同时期人类生存状况基础上提出的两种异化理论。在关于异化的本质是反制还是心理体验、异化产生的根源是
随着UAV技术的不断发展,人们越来越趋向于采用带有摄像功能的UAV来进行区域的周界防卫,从而跟踪监测潜在的入侵或其他监视任务.考虑UAV的电量消耗问题,本文提出了一种替换策略来保证UAV对的跟踪电量尽可能大,给出了周期性策略的重要性说明,在这一指导下,提出了UAV数量为奇数和偶数时的替换策略最优的充要条件,并给出了生成最优策略的方法.
近一年来,我们应用贝克曼(Beckman)CX-5型全自动生化分析仪对206例颅脑损伤病人进行肌酸激酶(CPK)和乳酸脱氢酶(LDH)测定,以了解CPK、LDH活性对颅脑损伤病人病情诊断和预后估计的评价,报告如下。一、资料和方法(一
【目的】为加强林业气象服务能力建设,改善和提高林业气象服务质量,2016年11月至2017年5月开展了全国林业气象灾害风险调查与服务效益评估调查。【方法】通过问卷调查、专家
晚期胃癌姑息性手术治疗60例分析晋江市医院方清河胃癌是我国常见的恶性肿瘤之一,居恶性肿瘤发病率和死亡率之首。且多数病例在确诊时已属中晚期,近年我们采用姑息性手术的方法治
VANET(Vehicle Ad-hoc Network)是移动无线自组网在智能交通领域中的应用。由于其无中心、移动性和多跳性等特点,使得传统的信息安全管理体系不再适用,故而引入新的安全体系结